src/Tools/jEdit/src/isabelle.scala
changeset 56662 f373fb77e0a4
parent 56592 5157f7615e99
child 56879 ee2b61f37ad9
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Tue Apr 22 23:31:45 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Apr 22 23:49:15 2014 +0200
     1.3 @@ -153,7 +153,7 @@
     1.4  
     1.5    def continuous_checking_=(b: Boolean)
     1.6    {
     1.7 -    Swing_Thread.require()
     1.8 +    Swing_Thread.require {}
     1.9  
    1.10      if (continuous_checking != b) {
    1.11        PIDE.options.bool(CONTINUOUS_CHECKING) = b
    1.12 @@ -179,7 +179,7 @@
    1.13  
    1.14    private def node_required_update(view: View, toggle: Boolean = false, set: Boolean = false)
    1.15    {
    1.16 -    Swing_Thread.require()
    1.17 +    Swing_Thread.require {}
    1.18      PIDE.document_model(view.getBuffer) match {
    1.19        case Some(model) =>
    1.20          model.node_required = (if (toggle) !model.node_required else set)