Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/etc/options
changeset 59120 74fde39274d5
parent 58750 1b4b005d73c1
child 59129 6959ceb53ac8 
--- a/src/Tools/jEdit/etc/options	Tue Dec 09 19:39:40 2014 +0100
+++ b/src/Tools/jEdit/etc/options	Tue Dec 09 19:52:26 2014 +0100
@@ -123,9 +123,9 @@
 option bound_color : string = "008000FF"
 option var_color : string = "00009BFF"
 option inner_numeral_color : string = "FF0000FF"
-option inner_quoted_color : string = "D2691EFF"
+option inner_quoted_color : string = "FF00CCFF"
 option inner_cartouche_color : string = "CC6600FF"
-option inner_comment_color : string = "8B0000FF"
+option inner_comment_color : string = "CC0000FF"
 option dynamic_color : string = "7BA428FF"
isabelle