# HG changeset patch
# User wenzelm
# Date 1357247538 -3600
# Node ID 985c081a4f11daebb924110d21c5539f6cbdf4a3
# Parent  07202e00fe4d51caf38ee91b9102e2ce67682a7a
disable search dialog pool on all platforms -- to prevent GUI synchronization problems seen on KDE (e.g. Kubuntu 12.10);

diff -r 07202e00fe4d -r 985c081a4f11 src/Tools/jEdit/src/plugin.scala
--- 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()