diff options
author | Marius <mariausol@gmail.com> | 2011-09-18 23:40:29 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-09-18 23:40:29 +0300 |
commit | 4530daff791f4e5e6b9ded048cad042b9e4ec46f (patch) | |
tree | 385eeb2618f1331f6b7a0cf736ac0c1c8fbd3c96 /context/data/scite/lexers/themes | |
parent | 6a1645d499e26ab02b365dd4b93da771815d8c0d (diff) | |
download | context-4530daff791f4e5e6b9ded048cad042b9e4ec46f.tar.gz |
beta 2011.09.18 22:35
Diffstat (limited to 'context/data/scite/lexers/themes')
-rw-r--r-- | context/data/scite/lexers/themes/scite-context-theme.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/context/data/scite/lexers/themes/scite-context-theme.lua b/context/data/scite/lexers/themes/scite-context-theme.lua index 94f623cd8..ed1c5086b 100644 --- a/context/data/scite/lexers/themes/scite-context-theme.lua +++ b/context/data/scite/lexers/themes/scite-context-theme.lua @@ -13,6 +13,10 @@ local context_path = "t:/sources" -- c:/data/tex-context/tex/texmf-context/tex/b local font_name = 'Dejavu Sans Mono' local font_size = 14 +if not WIN32 then + font_name = '!' .. font_name +end + local global = _G -- dofile(_LEXERHOME .. '/themes/scite.lua') -- starting point so we miss nothing |