diff options
author | 2013-05-22 12:37:38 -0400 | |
---|---|---|
committer | 2013-05-22 12:37:38 -0400 | |
commit | a5f6fefe13accd75de4ec8fa6a552fb32085f57b (patch) | |
tree | cb5386411d38027b3d0cd3d2ce74116dddc31736 /themes/dark.lua | |
parent | 04730b609194f64081a99bf7f39909573a5e8b1d (diff) |
Use 'font' and 'fontsize' properties for theme fonts.
Diffstat (limited to 'themes/dark.lua')
-rw-r--r-- | themes/dark.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/themes/dark.lua b/themes/dark.lua index 45764062..763f3831 100644 --- a/themes/dark.lua +++ b/themes/dark.lua @@ -51,15 +51,13 @@ property['color.light_green'] = 0x80CC80 --property['color.light_lavender'] = 0xFFCCCC property['color.light_blue'] = 0xFFCC80 --- Default style. -local font, size = 'Bitstream Vera Sans Mono', 10 +-- Default font. +property['font'], property['fontsize'] = 'Bitstream Vera Sans Mono', 10 if WIN32 then - font = 'Courier New' + property['font'] = 'Courier New' elseif OSX then - font, size = 'Monaco', 12 + property['font'], property['fontsize'] = 'Monaco', 12 end -property['style.default'] = 'font:'..font..',size:'..size.. - ',fore:$(color.light_grey),back:$(color.black)' -- Token styles. property['style.nothing'] = '' @@ -82,6 +80,8 @@ property['style.embedded'] = '$(style.tag),back:$(color.light_black)' property['style.identifier'] = '$(style.nothing)' -- Predefined styles. +property['style.default'] = 'font:$(font),size:$(fontsize)'.. + ',fore:$(color.light_grey),back:$(color.black)' property['style.linenumber'] = 'fore:$(color.dark_grey),back:$(color.black)' property['style.bracelight'] = 'fore:$(color.light_blue)' property['style.bracebad'] = 'fore:$(color.light_red)' |