Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
unused;
authorwenzelm
Sat, 13 Aug 2022 11:36:24 +0200
changeset 75836 0855dc42b535
parent 75835 5c53e24d3dc2
child 75837 93a704c52061
unused;
src/Tools/jEdit/src/query_dockable.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle