--- a/src/Tools/jEdit/src/query_dockable.scala Thu Dec 26 16:33:46 2024 +0100
+++ b/src/Tools/jEdit/src/query_dockable.scala Thu Dec 26 16:42:32 2024 +0100
@@ -10,9 +10,9 @@
import isabelle._
import java.awt.event.{ComponentEvent, ComponentAdapter, KeyEvent}
-import javax.swing.{JComponent, JTextField}
+import javax.swing.JComponent
-import scala.swing.{Component, TextField, Label, ListView, TabbedPane, BorderPanel}
+import scala.swing.{Component, TextField, Label, TabbedPane, BorderPanel}
import scala.swing.event.{SelectionChanged, Key, KeyPressed}
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/theories_dockable.scala Thu Dec 26 16:33:46 2024 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala Thu Dec 26 16:42:32 2024 +0100
@@ -9,9 +9,9 @@
import isabelle._
-import scala.swing.{Button, TextArea, Label, ListView, ScrollPane, Component}
+import scala.swing.{Button, Label, ScrollPane}
-import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
+import java.awt.BorderLayout
import javax.swing.border.{BevelBorder, SoftBevelBorder}
import org.gjt.sp.jedit.{View, jEdit}