# HG changeset patch # User wenzelm # Date 1421604581 -3600 # Node ID bc3a21ca23aafc1c45e36bfba4a37eae08c9b422 # Parent 9f518fa77c1c40a50006af77aafa9b62478c0b8f retain uniform background, notably wrt. PDF output and tree panel; diff -r 9f518fa77c1c -r bc3a21ca23aa src/Tools/jEdit/src/graphview_dockable.scala --- 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")