Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more spell_checker_elements;
authorwenzelm
Sat, 12 Apr 2014 21:44:38 +0200
changeset 56553 f56dfc30e4b6
parent 56552 76cf86240cb7
child 56554 7bef3cd6a69c
more spell_checker_elements; tuned color;
src/Tools/jEdit/etc/options file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/etc/options	Sat Apr 12 21:38:38 2014 +0200
+++ b/src/Tools/jEdit/etc/options	Sat Apr 12 21:44:38 2014 +0200
@@ -57,7 +57,7 @@
 public option spell_checker_language : string = "en"
   -- "language for spell-checker locale and dictionary (en, de, fr)"
 
-public option spell_checker_elements : string = "words,ML_comment,SML_comment"
+public option spell_checker_elements : string = "words,comment,inner_comment,ML_comment,SML_comment"
   -- "relevant markup elements for spell-checker, separated by commas"
 
 
@@ -80,7 +80,7 @@
 option tracing_message_color : string = "F0F8FFFF"
 option warning_message_color : string = "EEE8AAFF"
 option error_message_color : string = "FFC1C1FF"
-option spell_checker_color : string = "B22222FF"
+option spell_checker_color : string = "0000FFFF"
 option bad_color : string = "FF6A6A64"
 option intensify_color : string = "FFCC6664"
 option quoted_color : string = "8B8B8B19"
isabelle