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 colors -- more distance between outdated_color and quoted_color;
authorwenzelm
Tue, 30 Aug 2011 12:24:55 +0200
changeset 44579 a9cf2380377d
parent 44578 ca3844a3dcf7
child 44580 3bc9a215a56d
tuned colors -- more distance between outdated_color and quoted_color;
src/Tools/jEdit/src/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 12:01:07 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 12:24:55 2011 +0200
@@ -23,7 +23,7 @@
 
   def get_color(s: String): Color = ColorFactory.getInstance.getColor(s)
 
-  val outdated_color = new Color(240, 240, 240)
+  val outdated_color = new Color(238, 227, 227)
   val unfinished_color = new Color(255, 228, 225)
 
   val light_color = new Color(240, 240, 240)
isabelle