org.gjt.sp.jedit.gui

Class KeyEventWorkaround

java.lang.Object

org.gjt.sp.jedit.gui.KeyEventWorkaround

public class KeyEventWorkaround
extends java.lang.Object

This class contains various hacks to get keyboard event handling to behave in a consistent manner across Java implementations, many of which are hopelessly broken in this regard.

Version:

$Id: KeyEventWorkaround.java,v 1.3 2002/10/25 17:29:57 gfx Exp $

Author:

Slava Pestov

Constructor Summary

Constructors

Constructor and Description
KeyEventWorkaround()

Method Summary

Methods

Modifier and Type	Method and Description
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

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