diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/GUI/gui.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,14 +9,13 @@
 import java.util.{Map => JMap}
 import java.awt.{Component, Container, Font, Image, Insets, KeyboardFocusManager, Window, Point,
   Rectangle, Dimension, GraphicsEnvironment, MouseInfo, Toolkit}
-import java.awt.event.{KeyAdapter, KeyEvent, ItemListener, ItemEvent}
+import java.awt.event.{KeyAdapter, KeyEvent}
 import java.awt.font.{FontRenderContext, LineMetrics, TextAttribute, TransformAttribute}
 import java.awt.geom.AffineTransform
-import javax.swing.{ImageIcon, JButton, JDialog, JFrame, JLabel, JLayeredPane, JOptionPane,
-  RootPaneContainer, JTextField, JWindow, JComboBox, LookAndFeel, UIManager, SwingUtilities}
+import javax.swing.{ImageIcon, JButton, JLabel, JLayeredPane, JOptionPane,
+  RootPaneContainer, JTextField, JComboBox, LookAndFeel, UIManager, SwingUtilities}
 
-import scala.swing.{CheckBox, ComboBox, ScrollPane, TextArea, ListView, Label, Separator,
-  Orientation}
+import scala.swing.{CheckBox, ComboBox, ScrollPane, TextArea, ListView, Separator}
 import scala.swing.event.{ButtonClicked, SelectionChanged}