From 38d5a2040e9e43dddb4e763fa3eca91934ca5a67 Mon Sep 17 00:00:00 2001 From: Matthias Kretschmann Date: Mon, 25 Nov 2013 21:52:29 +0100 Subject: [PATCH] don't set theme to allow theme switching via UI --- tm_properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tm_properties b/tm_properties index 1ed22f4..73be976 100644 --- a/tm_properties +++ b/tm_properties @@ -1,7 +1,7 @@ # Settings encoding = UTF-8 -fontName = "Source Code Pro" +fontName = "Source Code Pro Medium" fontSize = 12 lineEndings = '\n' showInvisibles = false @@ -22,7 +22,7 @@ spellChecking = false # Monokai -theme = D8D5E82E-3D5B-46B5-B38E-8C841C21347D +#theme = D8D5E82E-3D5B-46B5-B38E-8C841C21347D # Includes