| org.mozilla.javascript.tools.debugger.GuiCallback
All known Subclasses: org.mozilla.javascript.tools.debugger.SwingGui,
GuiCallback | public interface GuiCallback (Code) | | Interface for communication between the debugger and its GUI. This
should be implemented by the GUI.
|
dispatchNextGuiEvent | void dispatchNextGuiEvent() throws InterruptedException(Code) | | Processes the next GUI event. This manual pumping of GUI events
is necessary when the GUI event thread itself has been stopped.
|
isGuiEventThread | boolean isGuiEventThread()(Code) | | Returns whether the current thread is the GUI's event thread.
This information is required to avoid blocking the event thread
from the debugger.
|
updateSourceText | void updateSourceText(Dim.SourceInfo sourceInfo)(Code) | | Called when the source text of some script has been changed.
|
|
|