|
| |
|
| java.lang.Object
 org.eclipse.ui.internal.keys.OutOfOrderListener
| OutOfOrderListener | | public class OutOfOrderListener implements Listener(Code) | | A listener that makes sure that global key bindings are processed if no other
listeners do any useful work.
since:
3.0 |
| Constructor Summary | |
| public | OutOfOrderListener(WorkbenchKeyboard workbenchKeyboard)
Constructs a new instance of OutOfOrderListener with a
reference to the keyboard interface which should be allowed to process
uneaten events. |
| Method Summary | |
| public void | handleEvent(Event event)
Handles the key down event on a widget by passing uneaten events to the
key binding architecture. | | final boolean | isActive(int timeRegistered)
Returns whether this listener has been hooked by this event already.
Parameters:
timeRegistered - The event.time for the current event. | | final void | setActive(int timeRegistered)
Sets the event time at which this listener was last registered with a
widget. |
| OutOfOrderListener | | public OutOfOrderListener(WorkbenchKeyboard workbenchKeyboard)(Code) | | Constructs a new instance of OutOfOrderListener with a
reference to the keyboard interface which should be allowed to process
uneaten events.
Parameters:
workbenchKeyboard - The keyboard interface for the workbench capable of processingkey bindings; must not be null. |
| handleEvent | | public void handleEvent(Event event)(Code) | | Handles the key down event on a widget by passing uneaten events to the
key binding architecture. This is used to allow special keys to reach the
widget first -- before being processed by the key binding architecture.
Parameters:
event - The event to process; must not be null |
| isActive | | final boolean isActive(int timeRegistered)(Code) | | Returns whether this listener has been hooked by this event already.
Parameters:
timeRegistered - The event.time for the current event. true if this listener is registered for adifferent event; false otherwise.
since:
3.1 |
| setActive | | final void setActive(int timeRegistered)(Code) | | Sets the event time at which this listener was last registered with a
widget.
Parameters:
timeRegistered - The time at which this listener was last registered with awidget.
since:
3.1 |
|
|
|