disable search dialog pool on all platforms -- to prevent GUI synchronization problems seen on KDE (e.g. Kubuntu 12.10);

--- a/src/Tools/jEdit/src/plugin.scala	Thu Jan 03 21:23:14 2013 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Jan 03 22:12:18 2013 +0100
@@ -13,7 +13,7 @@
 
 import scala.swing.{ListView, ScrollPane}
 
-import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, View}
+import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, View, Debug}
 import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
 import org.gjt.sp.jedit.syntax.ModeProvider
 import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged}
@@ -271,6 +271,8 @@
   override def start()
   {
     try {
+      Debug.DISABLE_SEARCH_DIALOG_POOL = true
+
       PIDE.plugin = this
       Isabelle_System.init()
       Isabelle_System.install_fonts()