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/document_view.scala
changeset 49492 2e3e7ea5ce8e
parent 49424 491363c6feb4
child 49843 afddf4e26fac 
--- a/src/Tools/jEdit/src/document_view.scala	Fri Sep 21 12:07:59 2012 +0200
+++ b/src/Tools/jEdit/src/document_view.scala	Fri Sep 21 15:39:51 2012 +0200
@@ -70,7 +70,7 @@
   def get_rendering(): Isabelle_Rendering =
     Isabelle_Rendering(model.snapshot(), Isabelle.options.value)
 
-  val rich_text_area = new Rich_Text_Area(text_area.getView, text_area, get_rendering _)
+  val rich_text_area = new Rich_Text_Area(text_area.getView, text_area, get_rendering _, false)
 
 
   /* perspective */
isabelle