added option to remove the background image at the top of the window per Casey's request

build/shared/lib/preferences.txt

@@ -157,6 +157,11 @@ editor.divider.size = 0
 # but keeps it from being annoyingly obtrusive
 editor.divider.size.windows = 2
 
+# 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/theme.txt

@@ -13,6 +13,8 @@ status.font = processing.sans,plain,13
 # TABS
 # Settings for the tab area at the top.
 header.bgcolor = #000000
+#header.hide.image = false # in preferences.txt
+header.hide.color = #0E1B25
 header.text.selected.color = #000000
 header.text.unselected.color = #ffffff
 header.text.font = processing.sans,plain,14
@@ -26,8 +28,10 @@ console.output.color = #cccccc
 console.error.color = #ff3000
 
 # TOOLBAR BUTTONS
-#buttons.bgcolor = #4a545e
 buttons.bgcolor = #000000
+#buttons.hide.image = false # in preferences.txt
+buttons.hide.color = #0E1B25
+buttons.bgimage = true
 
 # TOOLBAR BUTTON TEXT
 buttons.status.font = processing.sans,plain,13

build/shared/revisions.txt

@@ -27,6 +27,8 @@ two contributed from Josh Giesbrecht. Thanks Josh!
 + Add error message for that reports what line was bad while parsing a table.
   (Otherwise confusing ArrayIndexOutOfBoundsException while parsing bad CSV.)
 
++ Added option to remove the background image at the top of the window.
+
 
 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .