--- a/src/Tools/jEdit/src/find_dockable.scala Wed Sep 18 13:31:44 2013 +0200
+++ b/src/Tools/jEdit/src/find_dockable.scala Wed Sep 18 15:09:15 2013 +0200
@@ -11,7 +11,7 @@
import scala.actors.Actor._
-import scala.swing.{FlowPanel, Button, Component, TextField, CheckBox, Label, ComboBox}
+import scala.swing.{Button, Component, TextField, CheckBox, Label, ComboBox}
import scala.swing.event.ButtonClicked
import java.awt.BorderLayout
@@ -154,7 +154,7 @@
}
private val controls =
- new FlowPanel(FlowPanel.Alignment.Right)(
+ new Wrap_Panel(Wrap_Panel.Alignment.Right)(
query_label, Component.wrap(query), context, limit, allow_dups,
process_indicator.component, apply_query, zoom)
add(controls.peer, BorderLayout.NORTH)