src/Tools/jEdit/src/document_view.scala
changeset 50199 6d04e2422769
parent 49843 afddf4e26fac
child 50205 788c8263e634
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Sun Nov 25 17:15:21 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Sun Nov 25 18:47:33 2012 +0100
     1.3 @@ -67,8 +67,7 @@
     1.4  {
     1.5    private val session = model.session
     1.6  
     1.7 -  def get_rendering(): Isabelle_Rendering =
     1.8 -    Isabelle_Rendering(model.snapshot(), Isabelle.options.value)
     1.9 +  def get_rendering(): Rendering = Rendering(model.snapshot(), Isabelle.options.value)
    1.10  
    1.11    val rich_text_area = new Rich_Text_Area(text_area.getView, text_area, get_rendering _, false)
    1.12