blob: 5f83a5a6fa710504514ba1a7ef1e4c8fb6aa5d18 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2005 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.ui.internal.keys;
import java.util.List;
import org.eclipse.swt.widgets.Event;
import org.eclipse.swt.widgets.Listener;
import org.eclipse.swt.widgets.Widget;
/**
* A listener that makes sure that global key bindings are processed if no other
* listeners do any useful work.
*
* @since 3.0
*/
public class OutOfOrderListener implements Listener {
/**
* The time at which this listener was last registered to an event. This is
* the <code>event.time</code> value.
*
* @since 3.1
*/
private int active = Integer.MIN_VALUE;
/**
* The keyboard interface to which the event should be passed if it is not
* eaten.
*/
private final WorkbenchKeyboard keyboard;
/**
* Constructs a new instance of <code>OutOfOrderListener</code> with a
* reference to the keyboard interface which should be allowed to process
* uneaten events.
*
* @param workbenchKeyboard
* The keyboard interface for the workbench capable of processing
* key bindings; must not be <code>null</code>.
*/
public OutOfOrderListener(WorkbenchKeyboard workbenchKeyboard) {
keyboard = workbenchKeyboard;
}
/**
* 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.
*
* @param event
* The event to process; must not be <code>null</code>
*/
public void handleEvent(Event event) {
// Always remove myself as a listener.
final Widget widget = event.widget;
if ((widget != null) && (!widget.isDisposed())) {
widget.removeListener(event.type, this);
}
/*
* If the event is still up for grabs, then re-route through the global
* key filter.
*/
if (event.doit) {
List keyStrokes = WorkbenchKeyboard
.generatePossibleKeyStrokes(event);
keyboard.processKeyEvent(keyStrokes, event);
}
}
/**
* Returns whether this listener has been hooked by this event already.
*
* @param timeRegistered
* The <code>event.time</code> for the current event.
* @return <code>true</code> if this listener is registered for a
* different event; <code>false</code> otherwise.
*
* @since 3.1
*/
final boolean isActive(final int timeRegistered) {
return (active == timeRegistered);
}
/**
* Sets the event time at which this listener was last registered with a
* widget.
*
* @param timeRegistered
* The time at which this listener was last registered with a
* widget.
*
* @since 3.1
*/
final void setActive(final int timeRegistered) {
active = timeRegistered;
}
}