From 8d2421de3355461f2f661c035eb7fd415270e232 Mon Sep 17 00:00:00 2001
From: Timothy Warren <tim@timshomepage.net>
Date: Tue, 21 Apr 2015 21:09:08 -0400
Subject: [PATCH] Minor fixes and theme tweaks

---
 config/themes.json        | 4 ++--
 src/widgets/EditPane.cpp  | 2 +-
 src/widgets/MainFrame.cpp | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/config/themes.json b/config/themes.json
index 174f29c..f2105bb 100644
--- a/config/themes.json
+++ b/config/themes.json
@@ -23,7 +23,7 @@
 		},
 		"foreground": {
 			"default": [101, 123, 131],
-			"keyword1": [220, 50, 47],
+			"keyword1": [133, 153, 0],
 			"keyword2": [42, 161, 152],
 			"keyword3": [181, 137, 0],
 			"keyword4": [181, 137, 0],
@@ -41,7 +41,7 @@
 			"punctuation": [101, 123, 131],
 			"operator": [101, 123, 131],
 			"brace": [101, 123, 131],
-			"command": [],
+			"command": [220, 50, 47],
 			"identifier": [38, 139, 210],
 			"label": [220, 50, 47],
 			"number": [211, 54, 130],
diff --git a/src/widgets/EditPane.cpp b/src/widgets/EditPane.cpp
index e72576c..32816b1 100644
--- a/src/widgets/EditPane.cpp
+++ b/src/widgets/EditPane.cpp
@@ -405,7 +405,7 @@ void EditPane::_ApplyTheme(JsonValue lexer_map)
 	);
 #else
 	wxFont *defaultFont = wxFont::New(
-		12,
+		10,
 		wxFONTFAMILY_MODERN,
 		wxFONTFLAG_ANTIALIASED
 	);
diff --git a/src/widgets/MainFrame.cpp b/src/widgets/MainFrame.cpp
index 835b273..883f1c8 100644
--- a/src/widgets/MainFrame.cpp
+++ b/src/widgets/MainFrame.cpp
@@ -366,7 +366,7 @@ void MainFrame::EnableEditControls(bool enable)
 	editMenu->Enable(wxID_COPY, enable);
 	editMenu->Enable(wxID_PASTE, enable);
 	editMenu->Enable(wxID_CLEAR, enable);
-	editMenu->Enable(wxID_FIND, enable);
+	//editMenu->Enable(wxID_FIND, enable);
 	editMenu->Enable(wxID_SELECTALL, enable);
 	
 	toolBar->EnableTool(wxID_SAVE, enable);