# HG changeset patch
# User wenzelm
# Date 1450535513 -3600
# Node ID 95cce5313c83b64cc17b45b1eadf6875a811072b
# Parent  6fa60a4f7e487a2268b243e6713d2629389c70b7
prefer default focus policy, like Output dockable;

diff -r 6fa60a4f7e48 -r 95cce5313c83 src/Tools/jEdit/src/state_dockable.scala
--- a/src/Tools/jEdit/src/state_dockable.scala	Sat Dec 19 15:20:38 2015 +0100
+++ b/src/Tools/jEdit/src/state_dockable.scala	Sat Dec 19 15:31:53 2015 +0100
@@ -108,8 +108,6 @@
       locate_button, pretty_text_area.search_label, pretty_text_area.search_field, zoom)
   add(controls.peer, BorderLayout.NORTH)
 
-  override def focusOnDefaultComponent { update_button.requestFocus }
-
 
   /* main */