public interface GuiCallback
| Modifier and Type | Method and Description | 
|---|---|
| void | dispatchNextGuiEvent()Processes the next GUI event. | 
| void | enterInterrupt(Dim.StackFrame lastFrame,
              java.lang.String threadTitle,
              java.lang.String alertMessage)Called when the interrupt loop has been entered. | 
| boolean | isGuiEventThread()Returns whether the current thread is the GUI's event thread. | 
| void | updateSourceText(Dim.SourceInfo sourceInfo)Called when the source text of some script has been changed. | 
void updateSourceText(Dim.SourceInfo sourceInfo)
void enterInterrupt(Dim.StackFrame lastFrame, java.lang.String threadTitle, java.lang.String alertMessage)
boolean isGuiEventThread()
void dispatchNextGuiEvent()
                   throws java.lang.InterruptedException
java.lang.InterruptedException