src/Tools/jEdit/src/plugin.scala

             delay_init.invoke()
             delay_load.invoke()
           }
 
         case msg: EditPaneUpdate
-        if (msg.getWhat == EditPaneUpdate.BUFFER_CHANGING ||
+        if msg.getWhat == EditPaneUpdate.BUFFER_CHANGING ||
             msg.getWhat == EditPaneUpdate.BUFFER_CHANGED ||
             msg.getWhat == EditPaneUpdate.CREATED ||
-            msg.getWhat == EditPaneUpdate.DESTROYED) =>
+            msg.getWhat == EditPaneUpdate.DESTROYED =>
           val edit_pane = msg.getEditPane
           val buffer = edit_pane.getBuffer
           val text_area = edit_pane.getTextArea
 
           if (buffer != null && text_area != null) {