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/jedit/document_view.scala
changeset 38158 8aaa21db41f3
parent 38153 469555615ec7
child 38223 2a368e8e0a80 
--- a/src/Tools/jEdit/src/jedit/document_view.scala	Thu Aug 05 22:01:25 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/document_view.scala	Thu Aug 05 23:43:43 2010 +0200
@@ -87,7 +87,7 @@
   def extend_styles()
   {
     Swing_Thread.assert()
-    styles = Isabelle_Token_Marker.extend_styles(text_area.getPainter.getStyles)
+    styles = Document_Model.Token_Markup.extend_styles(text_area.getPainter.getStyles)
   }
   extend_styles()
isabelle