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 62988 224e8d8a4fb8
parent 62986 9d2fae6b31cc
child 62991 35f1475e9ced 
--- a/src/Tools/jEdit/etc/options	Thu Apr 14 23:31:10 2016 +0200
+++ b/src/Tools/jEdit/etc/options	Fri Apr 15 12:07:53 2016 +0200
@@ -99,8 +99,8 @@
 option spell_checker_color : string = "0000FFFF"
 option bad_color : string = "FF6A6A64"
 option intensify_color : string = "FFCC6664"
-option entity_def_color : string = "CCD9FFA0"
-option entity_ref_color : string = "E6FFCCA0"
+option entity_color : string = "CCD9FF80"
+option entity_def_color : string = "800080FF"
 option breakpoint_disabled_color : string = "CCCC0080"
 option breakpoint_enabled_color : string = "FF9966FF"
 option quoted_color : string = "8B8B8B19"
isabelle