From bcfe09403921896e8ef817b020281f755ca4973c Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Tue, 12 Oct 2021 09:13:24 -0400
Subject: [PATCH] remove unused lines from theme.txt, searching for more

---
 build/shared/lib/theme.txt | 45 +++++---------------------------------
 1 file changed, 5 insertions(+), 40 deletions(-)

diff --git a/build/shared/lib/theme.txt b/build/shared/lib/theme.txt
index 439cb1767..c22d4f6bd 100644
--- a/build/shared/lib/theme.txt
+++ b/build/shared/lib/theme.txt
@@ -18,11 +18,12 @@ header.text.font = processing.sans,bold,14
 header.text.selected.color = #161e3f
 header.text.unselected.color = #adbcd6
 header.tab.arrow.color = #adbcd6
-header.gradient.top = #1f62d3
-header.gradient.bottom = #2b52f6
 header.tab.selected.color = #dae8ff
 header.tab.unselected.color = #0e3266
 header.tab.modified.color = #fff87a
+# used by makeGradient("header"), so they won't show up in a grep
+header.gradient.top = #1f62d3
+header.gradient.bottom = #2b52f6
 
 # FOOTER TABS
 footer.text.font = processing.sans,bold,12
@@ -33,7 +34,6 @@ footer.gradient.top = #1e4492
 footer.gradient.bottom = #0f408d
 footer.tab.selected.color = #3369db
 footer.tab.unselected.color = #161e3f
-# updates orange #eb7f15
 footer.updates.color = #fed456
 
 # CONSOLE
@@ -46,17 +46,7 @@ console.error.color = #f73641
 # TOOLBAR BUTTONS
 buttons.bgcolor = #000000
 
-# for the debug and mode buttons
-#reversed.gradient.top = #10212f
-#reversed.gradient.bottom = #122637
-
 ## size of divider between editing area and the console
-#divider.size = 0
-## the larger divider on windows is ugly with the little arrows
-## this makes it large enough to see (mouse changes) and use,
-## but keeps it from being annoyingly obtrusive
-#divider.size.windows = 2
-
 divider.height = 9
 divider.color = #a3b1cb
 divider.dot.diameter = 3
@@ -69,14 +59,8 @@ toolbar.gradient.top = #3369db
 toolbar.gradient.bottom = #1f62d3
 
 # MODE SELECTOR
-#mode.title.font = processing.sans,bold,15
 mode.title.font = processing.sans,plain,12
 mode.title.color = #ffffff
-# outline color of the mode button
-#mode.button.color = #ffffff
-#mode.button.gap = 13
-#mode.arrow.width
-#mode.background.color = #3D5362
 # stolen from gradient bottom
 mode.background.color = #1f62d3
 mode.outline.color = #8497b8
@@ -92,7 +76,6 @@ editor.gradient.top = #2b52f6
 editor.gradient.bottom = #1e4492
 
 # highlight for the current line
-#editor.linehighlight.color=#e2e2e2
 editor.linehighlight.color=#dae8ff
 # highlight for the current line
 editor.linehighlight=true
@@ -112,29 +95,14 @@ editor.brackethighlight = true
 editor.brackethighlight.color = #006699
 
 editor.gutter.text.font = processing.mono,plain,11
-#editor.gutter.text.color = #657d87
-#editor.gutter.text.color = #587478
 editor.gutter.text.color = #ffffff
 
-# marker for breakpointed lines in left hand gutter (2 ascii characters)
-#editor.gutter.breakpoint.marker = <>
-#editor.gutter.breakpoint.marker.color = #4a545e
-
-# marker for the current line in left hand gutter (2 ascii characters)
-#editor.gutter.currentline.marker = ->
-#editor.gutter.currentline.marker.color = #e27500
-
 # bgcolor for the current (highlighted) line
 editor.gutter.linehighlight.color=#8497b8
 
 # left- and right-hand gutter color
 editor.gutter.bgcolor = #2b52f6
 
-# color of vertical separation line
-#gutter.linecolor = #e9e9e9
-# space (in px) added to left and right of gutter markers
-editor.gutter.padding = 3
-
 # squiggly line underneath errors in the editor
 editor.error.underline.color = #ff6261
 # squiggly line underneath warnings
@@ -143,10 +111,6 @@ editor.warning.underline.color = #fed456
 editor.column.error.color = #ff5355
 editor.column.warning.color = #fed456
 
-# not in use?
-#breakpoint.bgcolor = #f0f0f0
-#currentline.bgcolor = #ffff96
-
 errors.header.font = processing.sans,plain,12
 errors.header.bgcolor = #EBEBEB
 errors.header.fgcolor = #484848
@@ -157,15 +121,16 @@ errors.selection.fgcolor = #242424
 errors.selection.bgcolor = #E5E5E5
 errors.selection.error.bgcolor = #F5E6E6
 errors.selection.warning.bgcolor = #FDF2E7
-#errors.indicator.size = 3
 errors.indicator.error.color = #9E0A0A
 errors.indicator.warning.color = #EF8115
 
+# Contribution Manager tabs
 manager.tab.selected.color = #dae8ff
 manager.tab.unselected.color = #2d4251
 manager.tab.text.font = processing.sans,bold,14
 manager.tab.text.selected.color = #000000
 manager.tab.text.unselected.color = #ffffff
+
 # orange circle for updates
 manager.tab.update.color = #ed7f15
 manager.tab.gradient.top = #132638