src/Tools/jEdit/src/theories_dockable.scala
changeset 56457 eea4bbe15745
parent 56407 8e7ebc4b30f1
child 56599 c4424d8c890f
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Apr 07 16:37:57 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Apr 07 21:23:02 2014 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4            if (in_checkbox(peer.indexToLocation(index), point)) {
     1.5              if (clicks == 1) {
     1.6                for {
     1.7 -                buffer <- JEdit_Lib.jedit_buffer(listData(index).node)
     1.8 +                buffer <- JEdit_Lib.jedit_buffer(listData(index))
     1.9                  model <- PIDE.document_model(buffer)
    1.10                } model.node_required = !model.node_required
    1.11              }