src/Tools/jEdit/src/find_dockable.scala

--- a/src/Tools/jEdit/src/find_dockable.scala	Fri Aug 02 23:03:59 2013 +0200
+++ b/src/Tools/jEdit/src/find_dockable.scala	Mon Aug 05 10:55:46 2013 +0200
@@ -119,6 +119,8 @@
         }
       case None =>
     }
+
+    PIDE.flush_buffers()
   }
 
   private def locate_query()