gate.gui.docview
Class AnnotationSetsView.HandleDocumentEventsAction
java.lang.Object
javax.swing.AbstractAction
gate.gui.docview.AnnotationSetsView.HandleDocumentEventsAction
- All Implemented Interfaces:
- ActionListener, Serializable, Cloneable, EventListener, Action
- Enclosing class:
- AnnotationSetsView
protected class AnnotationSetsView.HandleDocumentEventsAction
- extends AbstractAction
- See Also:
- Serialized Form
|
Field Summary |
private static int |
MAX_EVENTS
Maximum number of events to treat individually. |
(package private) boolean |
uiDirty
|
| Fields inherited from interface javax.swing.Action |
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON |
|
Method Summary |
void |
actionPerformed(ActionEvent ev)
|
protected void |
rebuildDisplay()
This method is used to update the display by reading the associated
document when it is considered that doing so would be cheaper than
acting on the events queued |
uiDirty
boolean uiDirty
MAX_EVENTS
private static final int MAX_EVENTS
- Maximum number of events to treat individually. If we have more pending
events than this value, the UI will be rebuilt from scratch
- See Also:
- Constant Field Values
AnnotationSetsView.HandleDocumentEventsAction
protected AnnotationSetsView.HandleDocumentEventsAction()
actionPerformed
public void actionPerformed(ActionEvent ev)
rebuildDisplay
protected void rebuildDisplay()
- This method is used to update the display by reading the associated
document when it is considered that doing so would be cheaper than
acting on the events queued