Hi,
I am trying to disable the annoying spinner in some HTML output. However "TextMate.isBusy=false" in some javascript appears to have no effect. "TextMate.system()" works fine, so the TextMate object is available.
Any ideas?
Thanks
Gerd
On 28 Jan 2011, at 00:36, Gerd Knops wrote:
I am trying to disable the annoying spinner in some HTML output. However "TextMate.isBusy=false" in some javascript appears to have no effect. "TextMate.system()" works fine, so the TextMate object is available.
The ‘isBusy’ is to inform TextMate that the command is still doing work (after the main command has terminated). For example this includes showing a warning dialog when closing the window — it is not a way to avoid the spinner during command execution.
Maybe tell me exactly what your command does and the desired behavior wrt. spinner and scrolling. Given the difficulty with immitating the auto-scroll, a JS API for enabling this would likely make sense. I am less keen on changing isBusy semantics — your issue here sounds more like a general UI request.
On Jan 30, 2011, at 5:55 AM, Allan Odgaard wrote:
On 28 Jan 2011, at 00:36, Gerd Knops wrote:
I am trying to disable the annoying spinner in some HTML output. However "TextMate.isBusy=false" in some javascript appears to have no effect. "TextMate.system()" works fine, so the TextMate object is available.
The ‘isBusy’ is to inform TextMate that the command is still doing work (after the main command has terminated). For example this includes showing a warning dialog when closing the window — it is not a way to avoid the spinner during command execution.
Maybe tell me exactly what your command does and the desired behavior wrt. spinner and scrolling. Given the difficulty with immitating the auto-scroll, a JS API for enabling this would likely make sense. I am less keen on changing isBusy semantics — your issue here sounds more like a general UI request.
Ah, I completely misunderstood the meaning of "isBusy", and have now removed it from the script.
I basically was looking for a way to make that spinner in the top-right corner disappear. The window in question will be open for hours, and stuff moving on my desktop is distracting...
As for what I am doing I respond to that in the other thread.
Thanks
Gerd