--- a/src/Tools/jEdit/src/graphview_dockable.scala Sun Jan 18 17:32:38 2015 +0100
+++ b/src/Tools/jEdit/src/graphview_dockable.scala Sun Jan 18 17:34:14 2015 +0100
@@ -76,6 +76,7 @@
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")
override def make_font(): Font =
@@ -97,7 +98,7 @@
GUI_Thread.later {
graphview match {
case main_panel: isabelle.graphview.Main_Panel =>
- main_panel.graph_panel.apply_layout()
+ main_panel.update_layout()
case _ =>
}
}