From 2046b7e9fb6b6374c8dc2f3c9181b4ec5c4953ae Mon Sep 17 00:00:00 2001 From: Clemens Wrzodek Date: Mon, 14 Mar 2011 17:27:47 +0000 Subject: [PATCH] Bugfixes in preferences handling and range checking. --- src/de/zbit/kegg/gui/TranslatorUI.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/de/zbit/kegg/gui/TranslatorUI.java b/src/de/zbit/kegg/gui/TranslatorUI.java index de9faba..de3f7eb 100644 --- a/src/de/zbit/kegg/gui/TranslatorUI.java +++ b/src/de/zbit/kegg/gui/TranslatorUI.java @@ -513,7 +513,7 @@ public void saveFile() { */ public void keyPressed(KeyEvent e) { // Preferences for the "input file" - PreferencesPanel.setProperty(prefsIO, e.getSource()); + PreferencesPanel.setProperty(prefsIO, e.getSource(), true); } /* @@ -523,7 +523,7 @@ public void keyPressed(KeyEvent e) { */ public void keyReleased(KeyEvent e) { // Preferences for the "input file" - PreferencesPanel.setProperty(prefsIO, e.getSource()); + PreferencesPanel.setProperty(prefsIO, e.getSource(), true); } /* @@ -533,7 +533,7 @@ public void keyReleased(KeyEvent e) { */ public void keyTyped(KeyEvent e) { // Preferences for the "input file" - PreferencesPanel.setProperty(prefsIO, e.getSource()); + PreferencesPanel.setProperty(prefsIO, e.getSource(), true); } /* @@ -544,7 +544,7 @@ public void keyTyped(KeyEvent e) { */ public void itemStateChanged(ItemEvent e) { // Preferences for the "output format" - PreferencesPanel.setProperty(prefsIO, e.getSource()); + PreferencesPanel.setProperty(prefsIO, e.getSource(), true); } /*