org.eclipse.gmf.graphdef.editor.edit.policies.keyhandler
Class KeyPressedRequest
java.lang.Object
org.eclipse.gef.Request
org.eclipse.gef.requests.LocationRequest
org.eclipse.gmf.graphdef.editor.edit.policies.keyhandler.KeyPressedRequest
public class KeyPressedRequest
- extends org.eclipse.gef.requests.LocationRequest
Methods inherited from class org.eclipse.gef.requests.LocationRequest |
getLocation, setLocation |
Methods inherited from class org.eclipse.gef.Request |
getExtendedData, getType, setExtendedData, setType |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
KeyPressedRequest
public KeyPressedRequest(org.eclipse.gef.KeyStroke keyStroke)
isPerformed
public final boolean isPerformed()
markPerformed
public void markPerformed()
getKeyStroke
public org.eclipse.gef.KeyStroke getKeyStroke()
Copyright © 2012. All Rights Reserved.