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 49473 ca7e2c21b104
parent 49418 c451856129cd
child 49474 e7ff10e1a155 
--- a/src/Tools/jEdit/etc/options	Thu Sep 20 20:27:47 2012 +0200
+++ b/src/Tools/jEdit/etc/options	Thu Sep 20 21:31:56 2012 +0200
@@ -31,7 +31,8 @@
 option warning_color : string = "FF8C00FF"
 option error_color : string = "B22222FF"
 option error1_color : string = "B2222232"
-option writeln_message_color : string = "F0F0F0FF"
+option message_color : string = "F0F0F0FF"
+option writeln_message_color : string = "FFFFFF00"
 option tracing_message_color : string = "F0F8FFFF"
 option warning_message_color : string = "EEE8AAFF"
 option error_message_color : string = "FFC1C1FF"
isabelle