diff options
| author | Roman Kennke <roman@kennke.org> | 2005-07-07 12:37:03 +0000 |
|---|---|---|
| committer | Roman Kennke <roman@kennke.org> | 2005-07-07 12:37:03 +0000 |
| commit | 8822004a89d6ccbf129f773cc2cfb8bef1eb4139 (patch) | |
| tree | 237f77846bb742b340bd14fa89bfa43ceaadd258 /gnu/classpath/SystemProperties.java | |
| parent | 891925a4b8e438f6761e0928c558f2c7e2ea3b8c (diff) | |
| download | classpath-8822004a89d6ccbf129f773cc2cfb8bef1eb4139.tar.gz | |
2005-07-07 Roman Kennke <roman@kennke.org>
* gnu/java/awt/FocusManager.java: New class. Provides a concrete
implementation of javax.swing.FocusManager so that we can support
the old-style FocusManager in Swing and AWT.
* gnu/classpath/SystemProperties.java: Add new system property
gnu.java.awt.FocusManager that sets the class that should be used
as the default FocusManager in AWT and Swing.
* java/awt/KeyboardFocusManager.java
(setCurrentKeyboardFocusManager): Use createFocusManager instead
of creating the instance directly.
(createFocusManager): New method. Instantiate a KeyboardFocusManager
that is set by the system property gnu.java.awt.FocusManager.
* javax/swing.FocusManager.java
(constructor): Call super() here.
(getCurrentManager): Return the current AWT KeyboardFocusManager
here.
(setCurrentManager): Set the current AWT KeyboardFocusManager
here.
(processKeyEvent): Removed method. This is no longer in the
API.
(focusNextComponent): Removed method. This is no longer in the
API.
(focusPreviousComponent): Removed method. This is no longer in the
API.
Diffstat (limited to 'gnu/classpath/SystemProperties.java')
| -rw-r--r-- | gnu/classpath/SystemProperties.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/classpath/SystemProperties.java b/gnu/classpath/SystemProperties.java index 524f04099..600e1a6c1 100644 --- a/gnu/classpath/SystemProperties.java +++ b/gnu/classpath/SystemProperties.java @@ -106,6 +106,12 @@ public class SystemProperties if (defaultProperties.get("file.encoding") == null) defaultProperties.put("file.encoding", "8859_1"); + // Default to the Swing FocusManager so that the old-style Swing API + // for FocusManager can be supported without hardcoding it in AWT. + if (defaultProperties.get("gnu.java.awt.FocusManager") == null) + defaultProperties.put("gnu.java.awt.FocusManager", + "gnu.java.awt.FocusManager"); + // XXX FIXME - Temp hack for old systems that set the wrong property if (defaultProperties.get("java.io.tmpdir") == null) defaultProperties.put("java.io.tmpdir", |