# HG changeset patch
# User wenzelm
# Date 1735227752 -3600
# Node ID 09c535d9ff0cec7ff010d22be7699075aa9b03a5
# Parent  e711873dcb53ebbfaaec238b86f161cc746fedff
tuned imports;

diff -r e711873dcb53 -r 09c535d9ff0c src/Tools/jEdit/src/query_dockable.scala
--- 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
diff -r e711873dcb53 -r 09c535d9ff0c src/Tools/jEdit/src/theories_dockable.scala
--- 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}