# HG changeset patch
# User wenzelm
# Date 1660383384 -7200
# Node ID 0855dc42b53537d5ae1545b587d49de9d8d54964
# Parent  5c53e24d3dc2190f04b64e39e84c795420de3265
unused;

diff -r 5c53e24d3dc2 -r 0855dc42b535 src/Tools/jEdit/src/query_dockable.scala
--- a/src/Tools/jEdit/src/query_dockable.scala	Sat Aug 13 11:22:51 2022 +0200
+++ b/src/Tools/jEdit/src/query_dockable.scala	Sat Aug 13 11:36:24 2022 +0200
@@ -12,8 +12,7 @@
 import java.awt.event.{ComponentEvent, ComponentAdapter, KeyEvent}
 import javax.swing.{JComponent, JTextField}
 
-import scala.swing.{Button, Component, TextField, CheckBox, Label, ListView,
-  ComboBox, TabbedPane, BorderPanel}
+import scala.swing.{Button, Component, TextField, CheckBox, Label, ListView, TabbedPane, BorderPanel}
 import scala.swing.event.{SelectionChanged, ButtonClicked, Key, KeyPressed}
 
 import org.gjt.sp.jedit.View