diff options
Diffstat (limited to 'context/data/scite/scite-context.properties')
| -rw-r--r-- | context/data/scite/scite-context.properties | 215 |
1 files changed, 158 insertions, 57 deletions
diff --git a/context/data/scite/scite-context.properties b/context/data/scite/scite-context.properties index a958eb842..03df9fb75 100644 --- a/context/data/scite/scite-context.properties +++ b/context/data/scite/scite-context.properties @@ -326,28 +326,69 @@ font.embedded.base=$(font.monospace) font.embedded.comment=$(font.monospace) font.vbs=$(font.monospace) -# Editor: colors - -color.back.linepanel=back:#A7A7A7 -color.back.textpanel=back:#CFCFCF -color.back.logpanel=back:#EFEFEF -color.back.selection=#F7F7F7 - -color.fore.red=fore:#7F0000 -color.fore.green=fore:#007F00 -color.fore.blue=fore:#00007F -color.fore.cyan=fore:#007F7F -color.fore.magenta=fore:#7F007F -color.fore.yellow=fore:#7F7F00 +# colors and styles + +colors.red=#7F0000 +colors.green=#007F00 +colors.blue=#00007F +colors.cyan=#007F7F +colors.magenta=#7F007F +colors.yellow=#7F7F00 + +colors.white=#FFFFFF +colors.light= #CFCFCF +colors.grey= #808080 +colors.dark= #4F4F4F +colors.black= #000000 +colors.selection=#F7F7F7 +colors.logpanel=#E7E7E7 +colors.textpanel=#CFCFCF +colors.linepanel=#A7A7A7 +colors.tippanel=#444444 +colors.right=#0000FF +colors.wrong=#FF0000 + +colors.teal=$(colors.cyan) +colors.purple=$(colors.magenta) + +styles.default=fore:$(colors.black),back:$(colors.textpanel),$(font.base) +styles.nothing= + +styles.number=fore:$(colors.cyan) +styles.comment=fore:$(colors.yellow) +styles.string=fore:$(colors.magenta) +styles.keyword=fore:$(colors.blue),bold + +styles.char=fore:$(colors.magenta) +styles.class=fore:$(colors.black),bold +styles.constant=fore:$(colors.cyan),bold +styles.definition=fore:$(colors.black),bold +styles.error=fore:$(colors.red) +styles.function=fore:$(colors.black),bold +styles.operator=fore:$(colors.blue) +styles.preproc=fore:$(colors.yellow),bold +styles.tag=fore:$(colors.cyan) +styles.type=fore:$(colors.blue) +styles.variable=fore:$(colors.black) +styles.identifier=$(styles.nothing) + +styles.linenumber=back:$(colors.linepanel) +styles.bracelight=fore:$(colors.orange),bold +styles.bracebad=fore:$(colors.orange),bold +styles.indentguide=fore:$(colors.linepanel),back:$(colors.white) +styles.calltip=fore:$(colors.white),back:$(colors.tippanel) +styles.controlchar=$(styles.nothing) + +# end of colors and styles # Editor: color schemes caret.width=3 -style.*.32=$(font.base),$(color.back.textpanel) -style.*.33=$(font.base),$(color.back.linepanel) +style.*.32=$(font.base),back:$(colors.textpanel) +style.*.33=$(font.base),back:$(colors.linepanel) -style.errorlist.32=$(font.errorfont),$(color.back.logpanel) +style.errorlist.32=$(font.errorfont),back:$(colors.logpanel) selection.back=#000000 @@ -407,7 +448,9 @@ find.files=*.tex *.xml *.mp if PLAT_WIN find.command=fgrep -n $(find.what) $(find.files) -source.files=$(file.patterns.context);$(file.patterns.metafun);$(file.patterns.example);*.pl;*.rb +# todo: + +source.files=$(file.patterns.context);$(file.patterns.metafun);$(file.patterns.example);*.pl;*.rb;*.lua # Editor: printing @@ -443,27 +486,27 @@ autocomplete.choose.single=0 # Logging -style.errorlist.32=$(font.errorfont),$(color.back.logpanel) +style.errorlist.32=$(font.errorfont),back:$(colors.logpanel) # Default -style.errorlist.0=fore:#000000 -style.errorlist.1=$(color.fore.red) -style.errorlist.2=$(color.fore.red) -style.errorlist.3=$(color.fore.red) -style.errorlist.4=$(color.fore.green) -style.errorlist.5=$(color.fore.red) -style.errorlist.6=$(color.fore.red) -style.errorlist.7=$(color.fore.red) -style.errorlist.8=$(color.fore.red) -style.errorlist.9=$(color.fore.red) -style.errorlist.10=$(color.fore.green) -style.errorlist.11=$(color.fore.blue) -style.errorlist.12=$(color.fore.cyan) -style.errorlist.13=$(color.fore.red) -style.errorlist.14=$(color.fore.red) -style.errorlist.15=$(color.fore.red) -style.errorlist.16=$(color.fore.red) +style.errorlist.0=fore:$(colors.black) +style.errorlist.1=fore:$(colors.red) +style.errorlist.2=fore:$(colors.red) +style.errorlist.3=fore:$(colors.red) +style.errorlist.4=fore:$(colors.green) +style.errorlist.5=fore:$(colors.red) +style.errorlist.6=fore:$(colors.red) +style.errorlist.7=fore:$(colors.red) +style.errorlist.8=fore:$(colors.red) +style.errorlist.9=fore:$(colors.red) +style.errorlist.10=fore:$(colors.green) +style.errorlist.11=fore:$(colors.blue) +style.errorlist.12=fore:$(colors.cyan) +style.errorlist.13=fore:$(colors.red) +style.errorlist.14=fore:$(colors.red) +style.errorlist.15=fore:$(colors.red) +style.errorlist.16=fore:$(colors.red) # Metapost: patterns @@ -490,25 +533,83 @@ command.7.$(file.patterns.metafun)= command.8.$(file.patterns.metafun)= command.9.$(file.patterns.metafun)= -# Metapost: highlighting - -style.metapost.0=fore:#3F3F3F -style.metapost.1=fore:#007F7F -style.metapost.2=fore:#7F0000 -style.metapost.3=fore:#7F7F00 -style.metapost.4=fore:#007F00 -style.metapost.5=fore:#000000 -style.metapost.6=fore:#007F00,italics -style.metapost.34=fore:#00007F -style.metapost.35=fore:#7F007F - -# Context: highlighting - -style.context.0=fore:#3F3F3F -style.context.1=fore:#007F7F -style.context.2=fore:#7F0000 -style.context.3=fore:#7F7F00 -style.context.4=fore:#007F00 - -style.context.34=fore:#00007F -style.context.35=fore:#7F007F +# Shared highlighting + +styles.context.default=$(styles.nothing) +styles.context.number=$(styles.number) +styles.context.comment=$(styles.comment) +styles.context.keyword=$(styles.keyword) +styles.context.string=$(styles.string) + +styles.context.command=fore:$(colors.green),bold +styles.context.preamble=$(styles.comment) +styles.context.embedded=fore:$(colors.black),bold +styles.context.grouping=fore:$(colors.red) +styles.context.primitive=$(styles.keyword) +styles.context.plain=fore:$(colors.dark),bold +styles.context.user=fore:$(colors.green) +styles.context.data=$(styles.constant) +styles.context.special=fore:$(colors.blue) +styles.context.extra=fore:$(colors.yellow) +styles.context.quote=fore:$(colors.blue),bold + +# Metapost highlighting + +style.metapost.0=$(styles.context.default) +style.metapost.1=$(styles.context.special) +style.metapost.2=$(styles.context.grouping) +style.metapost.3=$(styles.context.comment) +style.metapost.4=$(styles.context.keyword) +style.metapost.5=$(styles.context.default) +style.metapost.6=$(styles.context.plain) +style.metapost.34=$(styles.bracelight) +style.metapost.35=$(styles.bracebad) + +# TeX highlighting + +style.tex.0=$(styles.context.default) +style.tex.1=$(styles.context.special) +style.tex.2=$(styles.context.grouping) +style.tex.3=$(styles.context.comment) +style.tex.4=$(styles.context.user) +style.tex.34=$(styles.bracelight) +style.tex.35=$(styles.bracebad) + +# style.tex.* : external styling happens elsewhere +# style.mps.* : external styling happens elsewhere +# style.cls.* : external styling happens elsewhere + +# Lua highlighting: +# +# might change as we change the cld lexer + +comment.block.lua=-- +comment.block.at.line.start.lua=1 + +# braces.lua.style=10 + +style.lua.32=$(styles.context.default) +style.lua.0=$(styles.context.default) +style.lua.1=$(styles.context.comment) +style.lua.2=$(styles.context.comment) +style.lua.3=$(styles.context.comment) +style.lua.4=$(styles.context.number) +style.lua.5=$(styles.context.keyword) +style.lua.6=$(styles.context.string) +style.lua.7=$(styles.context.string) +style.lua.8=$(styles.context.comment) +style.lua.9=$(styles.context.default) +style.lua.10=$(styles.context.special) +style.lua.11=$(styles.context.default) +style.lua.12=$(styles.context.default) +style.lua.13=$(styles.context.default) +style.lua.14=$(styles.context.default) +style.lua.15=$(styles.context.default) +style.lua.16=$(styles.context.default) +style.lua.17=$(styles.context.default) +style.lua.18=$(styles.context.default) +style.lua.19=$(styles.context.default) +style.lua.20=$(styles.context.default) + +style.context.34=$(styles.bracelight) +style.context.35=$(styles.bracebad) |