Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned rendering;
authorwenzelm
Mon, 10 Aug 2015 20:25:04 +0200
changeset 60881 91a9a4395903
parent 60880 fa958e24ff24
child 60882 45bfd18835f1
tuned rendering;
src/Tools/jEdit/etc/options file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/etc/options	Mon Aug 10 20:22:49 2015 +0200
+++ b/src/Tools/jEdit/etc/options	Mon Aug 10 20:25:04 2015 +0200
@@ -100,8 +100,8 @@
 option spell_checker_color : string = "0000FFFF"
 option bad_color : string = "FF6A6A64"
 option intensify_color : string = "FFCC6664"
-option breakpoint_color : string = "00CC0019"
-option breakpoint_active_color : string = "00CC0050"
+option breakpoint_color : string = "00CC0014"
+option breakpoint_active_color : string = "00CC0032"
 option quoted_color : string = "8B8B8B19"
 option antiquoted_color : string = "FFC83219"
 option antiquote_color : string = "6600CCFF"
isabelle