# 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")