aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormitchell <unknown>2020-01-04 23:38:22 -0500
committermitchell <unknown>2020-01-04 23:38:22 -0500
commit51c270affe753fcfae24887ee940e8061c631d7d (patch)
tree7c148fbb048519235e7412a74624da28e23fc84e
parent6419e330dccb08bb95e14c039df31578bf49cfb1 (diff)
downloadscintilla-mirror-51c270affe753fcfae24887ee940e8061c631d7d.tar.gz
Always use string property values in lexlua themes.
-rw-r--r--lexlua/themes/dark.lua4
-rw-r--r--lexlua/themes/light.lua4
-rw-r--r--lexlua/themes/scite.lua4
3 files changed, 6 insertions, 6 deletions
diff --git a/lexlua/themes/dark.lua b/lexlua/themes/dark.lua
index 267db70dc..e187c4e7c 100644
--- a/lexlua/themes/dark.lua
+++ b/lexlua/themes/dark.lua
@@ -51,11 +51,11 @@ property['color.light_green'] = '#80CC80'
property['color.light_blue'] = '#80CCFF'
-- Default style.
-property['font'], property['fontsize'] = 'Bitstream Vera Sans Mono', 10
+property['font'], property['fontsize'] = 'Bitstream Vera Sans Mono', '10'
if WIN32 then
property['font'] = 'Courier New'
elseif OSX then
- property['font'], property['fontsize'] = 'Monaco', 12
+ property['font'], property['fontsize'] = 'Monaco', '12'
end
-- Predefined styles.
diff --git a/lexlua/themes/light.lua b/lexlua/themes/light.lua
index 1f1369ea1..e3d1a63eb 100644
--- a/lexlua/themes/light.lua
+++ b/lexlua/themes/light.lua
@@ -51,11 +51,11 @@ property['color.light_red'] = '#C08080'
property['color.light_blue'] = '#80CCFF'
-- Default style.
-property['font'], property['fontsize'] = 'Bitstream Vera Sans Mono', 10
+property['font'], property['fontsize'] = 'Bitstream Vera Sans Mono', '10'
if WIN32 then
property['font'] = 'Courier New'
elseif OSX then
- property['font'], property['fontsize'] = 'Monaco', 12
+ property['font'], property['fontsize'] = 'Monaco', '12'
end
-- Predefined styles.
diff --git a/lexlua/themes/scite.lua b/lexlua/themes/scite.lua
index c0ebcb235..a7642290c 100644
--- a/lexlua/themes/scite.lua
+++ b/lexlua/themes/scite.lua
@@ -15,11 +15,11 @@ property['color.grey'] = '#808080'
property['color.white'] = '#FFFFFF'
-- Default style.
-property['font'], property['fontsize'] = 'Monospace', 11
+property['font'], property['fontsize'] = 'Monospace', '11'
if WIN32 then
property['font'] = 'Courier New'
elseif OSX then
- property['font'], property['fontsize'] = 'Monaco', 12
+ property['font'], property['fontsize'] = 'Monaco', '12'
end
-- Predefined styles.