freemind.preferences.layout
Class KeyEventWorkaround

java.lang.Object
  extended byfreemind.preferences.layout.KeyEventWorkaround

public class KeyEventWorkaround
extends java.lang.Object

Various hacks to get keyboard event handling to behave in a consistent manner across Java implementations.

Version:
$Id: KeyEventWorkaround.java,v 1.1.2.1 2005/05/10 20:55:31 christianfoltin Exp $
Author:
Slava Pestov

Field Summary
static boolean ALT_KEY_PRESSED_DISABLED
           
static boolean ALTERNATIVE_DISPATCHER
           
 
Constructor Summary
KeyEventWorkaround()
           
 
Method Summary
static void numericKeypadKey()
          A workaround for non-working NumLock status in some Java versions.
static java.awt.event.KeyEvent processKeyEvent(java.awt.event.KeyEvent evt)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ALT_KEY_PRESSED_DISABLED

public static final boolean ALT_KEY_PRESSED_DISABLED
See Also:
Constant Field Values

ALTERNATIVE_DISPATCHER

public static final boolean ALTERNATIVE_DISPATCHER
See Also:
Constant Field Values
Constructor Detail

KeyEventWorkaround

public KeyEventWorkaround()
Method Detail

processKeyEvent

public static java.awt.event.KeyEvent processKeyEvent(java.awt.event.KeyEvent evt)

numericKeypadKey

public static void numericKeypadKey()
A workaround for non-working NumLock status in some Java versions.

Since:
jEdit 4.0pre8