Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/graphview_dockable.scala
changeset 59410 19f396384cbe
parent 59408 63cb603b5114
child 59459 985fc55e9f27 
--- a/src/Tools/jEdit/src/graphview_dockable.scala	Mon Jan 19 20:39:01 2015 +0100
+++ b/src/Tools/jEdit/src/graphview_dockable.scala	Mon Jan 19 21:06:01 2015 +0100
@@ -83,7 +83,7 @@
 
           override def foreground_color = view.getTextArea.getPainter.getForeground
           override def selection_color = view.getTextArea.getPainter.getSelectionColor
-          override def current_color = view.getTextArea.getPainter.getLineHighlightColor
+          override def highlight_color = view.getTextArea.getPainter.getLineHighlightColor
           override def error_color = PIDE.options.color_value("error_color")
         }
         new isabelle.graphview.Main_Panel(visualizer)
isabelle