diff --git a/app/src/processing/app/PreferencesFrame.java b/app/src/processing/app/PreferencesFrame.java index 490677f6e..e0e1f459d 100644 --- a/app/src/processing/app/PreferencesFrame.java +++ b/app/src/processing/app/PreferencesFrame.java @@ -39,11 +39,6 @@ import processing.core.*; /** * Window for modifying preferences. - *

- * This is ugly GUI code that uses exact layout. This was done in frustration - * one evening (and pre-Swing), but that's long since past, and the code - * should instead be ported to a proper Swing layout like Group or BoxLayout. - * See here. */ public class PreferencesFrame { JFrame dialog; @@ -474,17 +469,6 @@ public class PreferencesFrame { // top += d.height + GUI_BETWEEN; - // [ ] Hide tab/toolbar background image - - whinyBox = new JCheckBox(Language.text("preferences.hide_toolbar_background_image")+ - " ("+Language.text("preferences.requires_restart")+")"); -// pain.add(whinyBox); -// d = whinyBox.getPreferredSize(); -// whinyBox.setBounds(left, top, d.width + 10, d.height); -// right = Math.max(right, left + d.width); -// top += d.height + GUI_BETWEEN; - - // [ ] Check for updates on startup checkUpdatesBox = new JCheckBox(Language.text("preferences.check_for_updates_on_startup")); diff --git a/build/shared/lib/defaults.txt b/build/shared/lib/defaults.txt index a1ff701e8..f52b4261d 100644 --- a/build/shared/lib/defaults.txt +++ b/build/shared/lib/defaults.txt @@ -151,11 +151,6 @@ editor.indent = true # Whether to check files to see if they've been modified externally editor.watcher = true -# Hide the background image. Gross because this is a pref that -# really lives over in theme.txt but it's split here. -buttons.hide.image = false -toolbar.hide.image = false - # font choice and size for the console #console.font = Monospaced,plain,11 #console.font.macosx = Monaco,plain,10 diff --git a/build/shared/lib/languages/PDE.properties b/build/shared/lib/languages/PDE.properties index 280a6ea58..626d0289d 100644 --- a/build/shared/lib/languages/PDE.properties +++ b/build/shared/lib/languages/PDE.properties @@ -177,7 +177,6 @@ preferences.cmd_space = space preferences.suggest_imports = Suggest import statements preferences.increase_max_memory = Increase maximum available memory to preferences.delete_previous_folder_on_export = Delete previous folder on export -preferences.hide_toolbar_background_image = Hide tab/toolbar background image preferences.check_for_updates_on_startup = Check for updates on startup preferences.run_sketches_on_display = Run sketches on display preferences.run_sketches_on_display.tip = \ diff --git a/build/shared/lib/theme.txt b/build/shared/lib/theme.txt index 156f8546b..fcf1d2fab 100644 --- a/build/shared/lib/theme.txt +++ b/build/shared/lib/theme.txt @@ -27,9 +27,6 @@ console.error.color = #ff3000 # TOOLBAR BUTTONS buttons.bgcolor = #000000 -#buttons.hide.image = false # in preferences.txt -#buttons.hide.color = #0E1B25 -#buttons.bgimage = true # for the debug and mode buttons reversed.gradient.top = #10212f