Bugfixes in preferences handling and range checking.

draeger-lab · Mar 14, 2011 · 2046b7e · 2046b7e
1 parent 6916b80
commit 2046b7e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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);
 	}
 
 	/*