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 59129 6959ceb53ac8
parent 59120 74fde39274d5
child 59184 830bb7ddb3ab 
--- a/src/Tools/jEdit/etc/options	Wed Dec 10 19:26:01 2014 +0100
+++ b/src/Tools/jEdit/etc/options	Wed Dec 10 20:51:27 2014 +0100
@@ -89,9 +89,8 @@
 option information_color : string = "C1DFEEFF"
 option warning_color : string = "FF8C00FF"
 option error_color : string = "B22222FF"
-option error1_color : string = "B2222232"
 option writeln_message_color : string = "F0F0F0FF"
-option information_message_color : string = "C1DFEE32"
+option information_message_color : string = "DCEAF3FF"
 option tracing_message_color : string = "F0F8FFFF"
 option warning_message_color : string = "EEE8AAFF"
 option error_message_color : string = "FFC1C1FF"
isabelle