remove vestigial 'hide background image' pref

app/src/processing/app/PreferencesFrame.java

@@ -39,11 +39,6 @@ import processing.core.*;
 
 /**
  * Window for modifying preferences.
- * <P>
- * 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.
- * <A HREF="https://github.com/processing/processing/issues/67">See here</A>.
  */
 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"));

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

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 = \

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