diff options
Diffstat (limited to 'Master/texmf-dist/context/data/scite/context/lexers/themes/scite-context-theme.lua')
-rw-r--r-- | Master/texmf-dist/context/data/scite/context/lexers/themes/scite-context-theme.lua | 239 |
1 files changed, 124 insertions, 115 deletions
diff --git a/Master/texmf-dist/context/data/scite/context/lexers/themes/scite-context-theme.lua b/Master/texmf-dist/context/data/scite/context/lexers/themes/scite-context-theme.lua index b0c63fe3941..f746c3d09c5 100644 --- a/Master/texmf-dist/context/data/scite/context/lexers/themes/scite-context-theme.lua +++ b/Master/texmf-dist/context/data/scite/context/lexers/themes/scite-context-theme.lua @@ -31,120 +31,129 @@ local info = { -- changeable notchangeable (this way we can protect styles, e.g. preamble?) -- hotspot nothotspot -local font_name = 'Dejavu Sans Mono' -local font_size = '14' - -local colors = { - red = { '7F', '00', '00' }, - green = { '00', '7F', '00' }, - blue = { '00', '00', '7F' }, - cyan = { '00', '7F', '7F' }, - magenta = { '7F', '00', '7F' }, - yellow = { '7F', '7F', '00' }, - orange = { 'B0', '7F', '00' }, - -- - white = { 'FF', 'FF', 'FF' }, - light = { 'CF', 'CF', 'CF' }, - grey = { '80', '80', '80' }, - dark = { '4F', '4F', '4F' }, - black = { '00', '00', '00' }, - -- - selection = { 'F7', 'F7', 'F7' }, - logpanel = { 'E7', 'E7', 'E7' }, - textpanel = { 'CF', 'CF', 'CF' }, - linepanel = { 'A7', 'A7', 'A7' }, - tippanel = { '44', '44', '44' }, - -- - right = { '00', '00', 'FF' }, - wrong = { 'FF', '00', '00' }, -} - -local styles = { - - ["whitespace"] = { }, - ["default"] = { font = font_name, size = font_size, fore = colors.black, back = colors.textpanel }, - ["default"] = { font = font_name, size = font_size, fore = colors.black }, - ["number"] = { fore = colors.cyan }, - ["comment"] = { fore = colors.yellow }, - ["keyword"] = { fore = colors.blue, bold = true }, - ["string"] = { fore = colors.magenta }, - -- ["preproc"] = { fore = colors.yellow, bold = true }, - ["error"] = { fore = colors.red }, - ["label"] = { fore = colors.red, bold = true }, - - ["nothing"] = { }, - ["class"] = { fore = colors.black, bold = true }, - ["function"] = { fore = colors.black, bold = true }, - ["constant"] = { fore = colors.cyan, bold = true }, - ["operator"] = { fore = colors.blue }, - ["regex"] = { fore = colors.magenta }, - ["preprocessor"] = { fore = colors.yellow, bold = true }, - ["tag"] = { fore = colors.cyan }, - ["type"] = { fore = colors.blue }, - ["variable"] = { fore = colors.black }, - ["identifier"] = { }, - - ["linenumber"] = { back = colors.linepanel }, - ["bracelight"] = { fore = colors.orange, bold = true }, - ["bracebad"] = { fore = colors.orange, bold = true }, - ["controlchar"] = { }, - ["indentguide"] = { fore = colors.linepanel, back = colors.white }, - ["calltip"] = { fore = colors.white, back = colors.tippanel }, - - ["invisible"] = { back = colors.orange }, - ["quote"] = { fore = colors.blue, bold = true }, - ["special"] = { fore = colors.blue }, - ["extra"] = { fore = colors.yellow }, - ["embedded"] = { fore = colors.black, bold = true }, - ["char"] = { fore = colors.magenta }, - ["reserved"] = { fore = colors.magenta, bold = true }, - ["definition"] = { fore = colors.black, bold = true }, - ["okay"] = { fore = colors.dark }, - ["warning"] = { fore = colors.orange }, - ["standout"] = { fore = colors.orange, bold = true }, - ["command"] = { fore = colors.green, bold = true }, - ["internal"] = { fore = colors.orange, bold = true }, - ["preamble"] = { fore = colors.yellow }, - ["grouping"] = { fore = colors.red }, - ["primitive"] = { fore = colors.blue, bold = true }, - ["plain"] = { fore = colors.dark, bold = true }, - ["user"] = { fore = colors.green }, - ["data"] = { fore = colors.cyan, bold = true }, - - -- equal to default: - - ["text"] = { font = font_name, size = font_size, fore = colors.black, back = colors.textpanel }, - ["text"] = { font = font_name, size = font_size, fore = colors.black }, - -} - -local properties = { - ["fold.by.parsing"] = 1, - ["fold.by.indentation"] = 0, - ["fold.by.line"] = 0, - ["fold.line.comments"] = 0, - -- - ["lexer.context.log"] = 1, -- log errors and warnings - ["lexer.context.trace"] = 0, -- show loading, initializations etc - ["lexer.context.detail"] = 0, -- show more detail when tracing - ["lexer.context.show"] = 0, -- show result of lexing - ["lexer.context.collapse"] = 0, -- make lexing results somewhat more efficient - ["lexer.context.inspect"] = 0, -- show some info about lexer (styles and so) - -- --- ["lexer.context.log"] = 1, -- log errors and warnings --- ["lexer.context.trace"] = 1, -- show loading, initializations etc -} - -local lexer = lexer or require("lexer") -local context = lexer.context - -if context then - context.inform("loading context (style) properties") - if context.registerstyles then - context.registerstyles(styles) - end - if context.registerproperties then - context.registerproperties(properties) +if not lexers or not lexers.initialized then + + local font_name = 'Dejavu Sans Mono' + local font_size = '14' + + local colors = { + red = { 0x7F, 0x00, 0x00 }, + green = { 0x00, 0x7F, 0x00 }, + blue = { 0x00, 0x00, 0x7F }, + cyan = { 0x00, 0x7F, 0x7F }, + magenta = { 0x7F, 0x00, 0x7F }, + yellow = { 0x7F, 0x7F, 0x00 }, + orange = { 0xB0, 0x7F, 0x00 }, + -- + white = { 0xFF }, + light = { 0xCF }, + grey = { 0x80 }, + dark = { 0x4F }, + black = { 0x00 }, + -- + selection = { 0xF7 }, + logpanel = { 0xE7 }, + textpanel = { 0xCF }, + linepanel = { 0xA7 }, + tippanel = { 0x44 }, + -- + right = { 0x00, 0x00, 0xFF }, + wrong = { 0xFF, 0x00, 0x00 }, + } + + local styles = { + + ["whitespace"] = { }, + -- ["default"] = { font = font_name, size = font_size, fore = colors.black, back = colors.textpanel }, + -- ["default"] = { font = font_name, size = font_size, fore = colors.black }, + ["default"] = { font = font_name, size = font_size, fore = colors.black, + back = textadept and colors.textpanel or nil }, + ["number"] = { fore = colors.cyan }, + ["comment"] = { fore = colors.yellow }, + ["keyword"] = { fore = colors.blue, bold = true }, + ["string"] = { fore = colors.magenta }, + -- ["preproc"] = { fore = colors.yellow, bold = true }, + ["error"] = { fore = colors.red }, + ["label"] = { fore = colors.red, bold = true }, + + ["nothing"] = { }, + ["class"] = { fore = colors.black, bold = true }, + ["function"] = { fore = colors.black, bold = true }, + ["constant"] = { fore = colors.cyan, bold = true }, + ["operator"] = { fore = colors.blue }, + ["regex"] = { fore = colors.magenta }, + ["preprocessor"] = { fore = colors.yellow, bold = true }, + ["tag"] = { fore = colors.cyan }, + ["type"] = { fore = colors.blue }, + ["variable"] = { fore = colors.black }, + ["identifier"] = { }, + + ["linenumber"] = { back = colors.linepanel }, + ["bracelight"] = { fore = colors.orange, bold = true }, + ["bracebad"] = { fore = colors.orange, bold = true }, + ["controlchar"] = { }, + ["indentguide"] = { fore = colors.linepanel, back = colors.white }, + ["calltip"] = { fore = colors.white, back = colors.tippanel }, + + ["invisible"] = { back = colors.orange }, + ["quote"] = { fore = colors.blue, bold = true }, + ["special"] = { fore = colors.blue }, + ["extra"] = { fore = colors.yellow }, + ["embedded"] = { fore = colors.black, bold = true }, + ["char"] = { fore = colors.magenta }, + ["reserved"] = { fore = colors.magenta, bold = true }, + ["definition"] = { fore = colors.black, bold = true }, + ["okay"] = { fore = colors.dark }, + ["warning"] = { fore = colors.orange }, + ["standout"] = { fore = colors.orange, bold = true }, + ["command"] = { fore = colors.green, bold = true }, + ["internal"] = { fore = colors.orange, bold = true }, + ["preamble"] = { fore = colors.yellow }, + ["grouping"] = { fore = colors.red }, + ["primitive"] = { fore = colors.blue, bold = true }, + ["plain"] = { fore = colors.dark, bold = true }, + ["user"] = { fore = colors.green }, + ["data"] = { fore = colors.cyan, bold = true }, + + -- equal to default: + + ["text"] = { font = font_name, size = font_size, fore = colors.black, back = colors.textpanel }, + ["text"] = { font = font_name, size = font_size, fore = colors.black }, + + } + + local properties = { + ["fold.by.parsing"] = 1, + ["fold.by.indentation"] = 0, + ["fold.by.line"] = 0, + ["fold.line.comments"] = 0, + -- + ["lexer.context.log"] = 1, -- log errors and warnings + ["lexer.context.trace"] = 0, -- show loading, initializations etc + ["lexer.context.detail"] = 0, -- show more detail when tracing + ["lexer.context.show"] = 0, -- show result of lexing + ["lexer.context.collapse"] = 0, -- make lexing results somewhat more efficient + ["lexer.context.inspect"] = 0, -- show some info about lexer (styles and so) + -- + -- ["lexer.context.log"] = 1, -- log errors and warnings + -- ["lexer.context.trace"] = 1, -- show loading, initializations etc + } + + ----- lexers = require("lexer") + local lexer = require("scite-context-lexer") + local context = lexer.context + + if context then + context.inform("loading context (style) properties") + if context.registerstyles then + context.registerstyles(styles) + end + if context.registercolors then + context.registercolors(colors) + end + if context.registerproperties then + context.registerproperties(properties) + end end -end +end |