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.
retain uniform background, notably wrt. PDF output and tree panel;
authorwenzelm
Sun, 18 Jan 2015 19:09:41 +0100
changeset 59394 bc3a21ca23aa
parent 59393 9f518fa77c1c
child 59395 4c5396f52546
retain uniform background, notably wrt. PDF output and tree panel;
src/Tools/jEdit/src/graphview_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/graphview_dockable.scala	Sun Jan 18 19:06:37 2015 +0100
+++ b/src/Tools/jEdit/src/graphview_dockable.scala	Sun Jan 18 19:09:41 2015 +0100
@@ -74,7 +74,6 @@
             null
           }
           override def foreground_color = view.getTextArea.getPainter.getForeground
-          override def background_color = view.getTextArea.getPainter.getBackground
           override def selection_color = view.getTextArea.getPainter.getSelectionColor
           override def current_color = view.getTextArea.getPainter.getLineHighlightColor
           override def error_color = PIDE.options.color_value("error_color")
isabelle