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 52576 7f5be9be51a7
parent 52472 3a43a8b1ecb0
child 52643 34c29356930e 
--- a/src/Tools/jEdit/etc/options	Wed Jul 10 13:43:23 2013 +0200
+++ b/src/Tools/jEdit/etc/options	Wed Jul 10 20:16:04 2013 +0200
@@ -38,7 +38,7 @@
 option unprocessed1_color : string = "FFA0A032"
 option running_color : string = "610061FF"
 option running1_color : string = "61006164"
-option light_color : string = "F0F0F0FF"
+option light_color : string = "F0F0F064"
 option bullet_color : string = "000000FF"
 option tooltip_color : string = "FFFFE9FF"
 option writeln_color : string = "C0C0C0FF"
isabelle