eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-10 00:59:40 +01:00
Code Issues Packages Projects Releases Wiki Activity

more with preferences

Browse Source
This commit is contained in:
benfry
2004-01-20 15:27:35 +00:00
parent 1c7b13a297
commit 7edfe25be2
1 changed files with 4 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
processing/app/PdeEditor.java
View File

@@ -400,15 +400,15 @@ public class PdeEditor extends JFrame
/**
* Apply changes to preferences that come from changes
* by the user in the preferences window.
* Read and apply new values from the preferences, either because
* the app is just starting up, or the user just finished messing
* with things in the Preferences window.
*/
public void applyPreferences() {
// apply the setting for 'use external editor'
// apply the setting for 'use external editor'
boolean external = PdePreferences.getBoolean("editor.external");
listener.setExternalEditor(external);
textarea.setEditable(!external);
saveMenuItem.setEnabled(!external);
saveAsMenuItem.setEnabled(!external);
@@ -430,18 +430,10 @@ public class PdeEditor extends JFrame
textarea.setCaretVisible(true);
}
// in case tab expansion stuff has changed
listener.applyPreferences();
// in case library option has been enabled or disabled
//buildExportMenu();
// in case moved to a new location
sketchbook.rebuildMenu();
}