src/Tools/jEdit/src/document_view.scala
changeset 49492 2e3e7ea5ce8e
parent 49424 491363c6feb4
child 49843 afddf4e26fac
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Fri Sep 21 12:07:59 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Fri Sep 21 15:39:51 2012 +0200
     1.3 @@ -70,7 +70,7 @@
     1.4    def get_rendering(): Isabelle_Rendering =
     1.5      Isabelle_Rendering(model.snapshot(), Isabelle.options.value)
     1.6  
     1.7 -  val rich_text_area = new Rich_Text_Area(text_area.getView, text_area, get_rendering _)
     1.8 +  val rich_text_area = new Rich_Text_Area(text_area.getView, text_area, get_rendering _, false)
     1.9  
    1.10  
    1.11    /* perspective */