# HG changeset patch
# User wenzelm
# Date 1739317257 -3600
# Node ID 508a673c87aca63aed69a672740865bdb1809810
# Parent  9f509bc10a634943eb96176937627f4413360e35
removed unused imports;

diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Admin/build_log.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -11,7 +11,6 @@
 import java.time.format.{DateTimeFormatter, DateTimeParseException}
 import java.util.Locale
 
-import scala.collection.immutable.SortedMap
 import scala.collection.mutable
 import scala.util.matching.Regex
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Admin/component_polyml.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,9 +9,6 @@
 package isabelle
 
 
-import scala.util.matching.Regex
-
-
 object Component_PolyML {
   /** platform-specific build **/
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
 import java.nio.file.Files
 
 import scala.annotation.tailrec
-import scala.collection.mutable
 
 
 object Isabelle_Cronjob {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Build/browser_info.scala
--- a/src/Pure/Build/browser_info.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Build/browser_info.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
 
 
 import scala.annotation.tailrec
-import scala.collection.immutable.SortedMap
 import scala.collection.mutable
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Build/build_process.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,9 +8,7 @@
 package isabelle
 
 
-import scala.collection.immutable.SortedMap
 import scala.math.Ordering
-import scala.annotation.tailrec
 
 
 object Build_Process {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Build/sessions.scala
--- a/src/Pure/Build/sessions.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Build/sessions.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,7 @@
 
 import java.io.{File => JFile}
 
-import scala.collection.immutable.{SortedSet, SortedMap}
+import scala.collection.immutable.SortedSet
 import scala.collection.mutable
 
 
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}
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/GUI/tree_view.scala
--- a/src/Pure/GUI/tree_view.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/GUI/tree_view.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,7 @@
 
 import javax.swing.JTree
 import javax.swing.tree.{MutableTreeNode, DefaultMutableTreeNode, DefaultTreeModel,
-  TreeSelectionModel, TreeCellRenderer, DefaultTreeCellRenderer}
+  TreeSelectionModel, DefaultTreeCellRenderer}
 
 
 object Tree_View {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/bytes.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -7,7 +7,7 @@
 package isabelle
 
 
-import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileInputStream, FileOutputStream,
+import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileOutputStream,
   InputStreamReader, InputStream, OutputStream, File => JFile}
 import java.nio.ByteBuffer
 import java.nio.charset.StandardCharsets.ISO_8859_1
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/General/file.scala
--- a/src/Pure/General/file.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/file.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
 import java.util.{Properties => JProperties}
 import java.io.{BufferedWriter, OutputStreamWriter, FileOutputStream, BufferedOutputStream,
   OutputStream, InputStream, FileInputStream, BufferedInputStream, BufferedReader,
-  InputStreamReader, File => JFile, IOException}
+  File => JFile, IOException}
 import java.nio.file.{StandardOpenOption, Path => JPath, Files, SimpleFileVisitor,
   FileVisitOption, FileVisitResult}
 import java.nio.file.attribute.{BasicFileAttributes, PosixFilePermission}
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/General/mail.scala
--- a/src/Pure/General/mail.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/mail.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,8 +9,8 @@
 
 import java.util.{Properties => JProperties}
 import jakarta.mail.internet.{InternetAddress, MimeMessage}
-import jakarta.mail.{AuthenticationFailedException, Authenticator, Message, MessagingException,
-  PasswordAuthentication, Transport as JTransport, Session => JSession}
+import jakarta.mail.{Authenticator, Message, PasswordAuthentication, Transport => JTransport,
+  Session => JSession}
 
 
 object Mail {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/General/multi_map.scala
--- a/src/Pure/General/multi_map.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/multi_map.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -7,7 +7,7 @@
 package isabelle
 
 import scala.collection.mutable
-import scala.collection.{IterableFactory, MapFactory, MapFactoryDefaults}
+import scala.collection.{MapFactory, MapFactoryDefaults}
 import scala.collection.immutable.{Iterable, MapOps}
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/General/path.scala
--- a/src/Pure/General/path.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/path.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
 package isabelle
 
 
-import java.util.{Map => JMap}
 import java.io.{File => JFile}
 import java.nio.file.{Path => JPath}
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/General/ssh.scala
--- a/src/Pure/General/ssh.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/ssh.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,8 +8,6 @@
 package isabelle
 
 
-import java.util.{Map => JMap}
-
 import scala.annotation.tailrec
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/PIDE/headless.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
 import java.io.{File => JFile}
 
 import scala.annotation.tailrec
-import scala.collection.mutable
 
 
 object Headless {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/PIDE/text.scala
--- a/src/Pure/PIDE/text.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/PIDE/text.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,6 @@
 
 
 import scala.collection.mutable
-import scala.util.Sorting
 
 
 object Text {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/System/isabelle_charset.scala
--- a/src/Pure/System/isabelle_charset.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/System/isabelle_charset.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,9 +8,7 @@
 
 
 import java.util.{List => JList}
-import java.nio.Buffer
-import java.nio.{ByteBuffer, CharBuffer}
-import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder, CoderResult}
+import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder}
 import java.nio.charset.spi.CharsetProvider
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/System/scala.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,19 +10,10 @@
 import java.io.{File => JFile, PrintStream, ByteArrayOutputStream, OutputStream}
 
 import scala.collection.mutable
-import scala.annotation.tailrec
 
 import dotty.tools.dotc.CompilationUnit
-import dotty.tools.dotc.ast.Trees.PackageDef
-import dotty.tools.dotc.ast.untpd
-import dotty.tools.dotc.core.Contexts.{Context => CompilerContext}
-import dotty.tools.dotc.core.NameOps.moduleClassName
-import dotty.tools.dotc.core.{Phases, StdNames}
-import dotty.tools.dotc.interfaces
-import dotty.tools.dotc.reporting.{Diagnostic, ConsoleReporter}
-import dotty.tools.dotc.util.{SourceFile, SourcePosition, NoSourcePosition}
 import dotty.tools.repl
-import dotty.tools.repl.{ReplCompiler, ReplDriver}
+import dotty.tools.repl.ReplDriver
 
 
 object Scala {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/System/system_channel.scala
--- a/src/Pure/System/system_channel.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/System/system_channel.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,8 +8,8 @@
 
 
 import java.io.{InputStream, OutputStream}
-import java.net.{InetAddress, InetSocketAddress, ProtocolFamily, ServerSocket, SocketAddress,
-  StandardProtocolFamily, UnixDomainSocketAddress, StandardSocketOptions}
+import java.net.{InetSocketAddress, ProtocolFamily, StandardProtocolFamily, UnixDomainSocketAddress,
+  StandardSocketOptions}
 import java.nio.channels.{ServerSocketChannel, Channels}
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Thy/thy_header.scala
--- a/src/Pure/Thy/thy_header.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Thy/thy_header.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
 
 
 import scala.util.parsing.input.Reader
-import scala.util.matching.Regex
 
 
 object Thy_Header {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/dump.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -6,8 +6,6 @@
 
 package isabelle
 
-import java.io.{BufferedWriter, FileOutputStream, OutputStreamWriter}
-
 
 object Dump {
   /* aspects */
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Tools/prismjs.scala
--- a/src/Pure/Tools/prismjs.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/prismjs.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -6,8 +6,6 @@
 
 package isabelle
 
-import scala.collection.mutable
-
 
 object Prismjs {
   /* component resources */
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Tools/scala_build.scala
--- a/src/Pure/Tools/scala_build.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/scala_build.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
 
 
 import java.io.{ByteArrayOutputStream, PrintStream}
-import java.nio.file.Files
 import java.nio.file.{Path => JPath}
 
 import scala.jdk.CollectionConverters._
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/Tools/server.scala
--- a/src/Pure/Tools/server.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/server.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -21,7 +21,7 @@
 
 import java.io.{BufferedInputStream, BufferedOutputStream, InputStreamReader, OutputStreamWriter,
   IOException}
-import java.net.{Socket, SocketException, SocketTimeoutException, ServerSocket, InetAddress}
+import java.net.{Socket, ServerSocket, InetAddress}
 
 
 object Server {
diff -r 9f509bc10a63 -r 508a673c87ac src/Pure/thm_name.scala
--- a/src/Pure/thm_name.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/thm_name.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -7,9 +7,6 @@
 package isabelle
 
 
-import scala.math.Ordering
-
-
 object Thm_Name {
   object Ordering extends scala.math.Ordering[Thm_Name] {
     def compare(thm_name1: Thm_Name, thm_name2: Thm_Name): Int =
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Find_Facts/src/thy_blocks.scala
--- a/src/Tools/Find_Facts/src/thy_blocks.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Find_Facts/src/thy_blocks.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,8 +9,6 @@
 
 import isabelle._
 
-import scala.annotation.tailrec
-
 
 object Thy_Blocks {
   /** spans **/
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Graphview/graph_file.scala
--- a/src/Tools/Graphview/graph_file.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/graph_file.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
 import isabelle._
 
 import java.io.{File => JFile}
-import java.awt.{Color, Graphics2D}
+import java.awt.Graphics2D
 
 
 object Graph_File {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Graphview/graph_panel.scala
--- a/src/Tools/Graphview/graph_panel.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -12,12 +12,10 @@
 
 import java.awt.{Dimension, Graphics2D, Point, Rectangle}
 import java.awt.geom.{AffineTransform, Point2D}
-import javax.imageio.ImageIO
-import javax.swing.{JScrollPane, JComponent, SwingUtilities}
-import javax.swing.border.EmptyBorder
+import javax.swing.{JScrollPane, SwingUtilities}
 
 import scala.swing.{BorderPanel, Button, CheckBox, Action, FileChooser, Panel, ScrollPane}
-import scala.swing.event.{Event, Key, MousePressed, MouseDragged, MouseClicked, MouseEvent}
+import scala.swing.event.{Event, Key, MousePressed, MouseDragged, MouseClicked}
 
 
 class Graph_Panel(val graphview: Graphview) extends BorderPanel {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Graphview/graphview.scala
--- a/src/Tools/Graphview/graphview.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/graphview.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
 
 import isabelle._
 
-import java.awt.{Font, Color, Shape, Graphics2D}
+import java.awt.{Font, Color, Graphics2D}
 import java.awt.geom.{Point2D, Rectangle2D}
 import javax.swing.JComponent
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Graphview/mutator.scala
--- a/src/Tools/Graphview/mutator.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/mutator.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -11,7 +11,6 @@
 import isabelle._
 
 import java.awt.Color
-import scala.collection.immutable.SortedSet
 
 
 object Mutator {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Graphview/mutator_dialog.scala
--- a/src/Tools/Graphview/mutator_dialog.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/mutator_dialog.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
 
 import isabelle._
 
-import java.awt.Color
 import java.awt.FocusTraversalPolicy
 import javax.swing.JColorChooser
 import javax.swing.border.EmptyBorder
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Graphview/shapes.scala
--- a/src/Tools/Graphview/shapes.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/shapes.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -11,8 +11,7 @@
 import isabelle._
 
 import java.awt.{BasicStroke, Graphics2D, Shape}
-import java.awt.geom.{AffineTransform, GeneralPath, Path2D, Rectangle2D,
-  RoundRectangle2D, PathIterator}
+import java.awt.geom.{AffineTransform, GeneralPath, Path2D, Rectangle2D, PathIterator}
 
 
 object Shapes {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/Graphview/tree_panel.scala
--- a/src/Tools/Graphview/tree_panel.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/tree_panel.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,7 @@
 
 import isabelle._
 
-import java.awt.{Dimension, Rectangle}
+import java.awt.Dimension
 import java.awt.event.{KeyEvent, KeyAdapter, MouseEvent, MouseAdapter}
 import javax.swing.tree.TreePath
 import javax.swing.event.{DocumentListener, DocumentEvent}
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/VSCode/src/channel.scala
--- a/src/Tools/VSCode/src/channel.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/VSCode/src/channel.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,7 @@
 
 import isabelle._
 
-import java.io.{InputStream, OutputStream, FileOutputStream, File => JFile}
+import java.io.{InputStream, OutputStream}
 
 import scala.collection.mutable
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/VSCode/src/language_server.scala
--- a/src/Tools/VSCode/src/language_server.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/VSCode/src/language_server.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -16,7 +16,6 @@
 import java.io.{PrintStream, OutputStream, File => JFile}
 
 import scala.annotation.tailrec
-import scala.collection.mutable
 
 
 object Language_Server {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/completion_popup.scala
--- a/src/Tools/jEdit/src/completion_popup.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -16,11 +16,8 @@
 import javax.swing.text.DefaultCaret
 
 import scala.swing.{ListView, ScrollPane}
-import scala.swing.event.MouseClicked
-import org.gjt.sp.jedit.View
 import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea, Selection}
 import org.gjt.sp.jedit.gui.{HistoryTextField, KeyEventWorkaround}
-import org.gjt.sp.util.StandardUtilities
 
 
 object Completion_Popup {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/debugger_dockable.scala
--- a/src/Tools/jEdit/src/debugger_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/debugger_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -15,7 +15,7 @@
 import javax.swing.event.TreeSelectionEvent
 
 import scala.collection.immutable.SortedMap
-import scala.swing.{Button, Label, Component}
+import scala.swing.{Label, Component}
 
 import org.gjt.sp.jedit.{jEdit, View}
 import org.gjt.sp.jedit.menu.EnhancedMenuItem
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/document_dockable.scala
--- a/src/Tools/jEdit/src/document_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,12 +10,11 @@
 import isabelle._
 
 import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
 
-import scala.swing.{ScrollPane, TextArea, Label, TabbedPane, BorderPanel, Component}
+import scala.swing.{ScrollPane, TabbedPane, BorderPanel, Component}
 import scala.swing.event.SelectionChanged
 
-import org.gjt.sp.jedit.{jEdit, View}
+import org.gjt.sp.jedit.View
 
 
 object Document_Dockable {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/font_info.scala
--- a/src/Tools/jEdit/src/font_info.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/font_info.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -12,7 +12,7 @@
 
 import java.awt.Font
 
-import org.gjt.sp.jedit.{jEdit, View}
+import org.gjt.sp.jedit.jEdit
 
 
 object Font_Info {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/info_dockable.scala
--- a/src/Tools/jEdit/src/info_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/info_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
 import isabelle._
 
 import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter, WindowFocusListener, WindowEvent}
+import java.awt.event.{WindowFocusListener, WindowEvent}
 
 import org.gjt.sp.jedit.View
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -17,7 +17,7 @@
 import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea, StructureMatcher, Selection}
 import org.gjt.sp.jedit.syntax.TokenMarker
 import org.gjt.sp.jedit.indent.IndentRule
-import org.gjt.sp.jedit.gui.{DockableWindowManager, CompleteWord}
+import org.gjt.sp.jedit.gui.DockableWindowManager
 import org.jedit.options.CombinedOptions
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/isabelle_encoding.scala
--- a/src/Tools/jEdit/src/isabelle_encoding.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/isabelle_encoding.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -12,8 +12,8 @@
 import org.gjt.sp.jedit.buffer.JEditBuffer
 import org.gjt.sp.jedit.io.Encoding
 
-import java.nio.charset.{Charset, CodingErrorAction, CharacterCodingException}
-import java.io.{InputStream, OutputStream, Reader, Writer, InputStreamReader, OutputStreamWriter,
+import java.nio.charset.{CodingErrorAction, CharacterCodingException}
+import java.io.{InputStream, OutputStream, Reader, Writer, OutputStreamWriter,
   CharArrayReader, ByteArrayOutputStream}
 
 import scala.io.{Codec, BufferedSource}
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/isabelle_session.scala
--- a/src/Tools/jEdit/src/isabelle_session.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/isabelle_session.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
 import isabelle._
 
 import java.awt.Component
-import java.io.InputStream
 
 import org.gjt.sp.jedit.View
 import org.gjt.sp.jedit.io.{VFS => JEdit_VFS, VFSFile}
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/jedit_bibtex.scala
--- a/src/Tools/jEdit/src/jedit_bibtex.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_bibtex.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,15 +10,13 @@
 import isabelle._
 
 
-import scala.collection.mutable
-
 import java.awt.event.{ActionListener, ActionEvent}
 
 import javax.swing.text.Segment
 import javax.swing.{JMenu, JMenuItem}
 
 import org.gjt.sp.jedit.Buffer
-import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
+import org.gjt.sp.jedit.textarea.JEditTextArea
 import org.gjt.sp.jedit.syntax.{Token => JEditToken, TokenMarker, TokenHandler}
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/jedit_lib.scala
--- a/src/Tools/jEdit/src/jedit_lib.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_lib.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,10 +10,10 @@
 import isabelle._
 
 import java.io.{File => JFile}
-import java.awt.{Component, Container, GraphicsEnvironment, Point, Rectangle, Dimension, Toolkit}
+import java.awt.{Component, Container, Toolkit}
 import java.awt.event.{InputEvent, KeyEvent, KeyListener}
 import java.awt.font.FontRenderContext
-import javax.swing.{Icon, ImageIcon, JScrollBar, JWindow, SwingUtilities}
+import javax.swing.{Icon, ImageIcon, JScrollBar, JWindow}
 
 import scala.util.parsing.input.CharSequenceReader
 import scala.util.matching.Regex
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/jedit_options.scala
--- a/src/Tools/jEdit/src/jedit_options.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_options.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,7 @@
 
 import isabelle._
 
-import java.awt.{Font, Color}
+import java.awt.Color
 import javax.swing.{InputVerifier, JComponent, UIManager}
 import javax.swing.text.JTextComponent
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/jedit_rendering.scala
--- a/src/Tools/jEdit/src/jedit_rendering.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_rendering.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -16,8 +16,6 @@
 import org.gjt.sp.jedit.syntax.{Token => JEditToken}
 import org.gjt.sp.jedit.jEdit
 
-import scala.collection.immutable.SortedMap
-
 
 object JEdit_Rendering {
   /* make rendering */
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/jedit_resources.scala
--- a/src/Tools/jEdit/src/jedit_resources.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_resources.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -11,13 +11,12 @@
 import isabelle._
 
 import java.io.{File => JFile, ByteArrayOutputStream}
-import javax.swing.text.Segment
 
 import scala.util.parsing.input.Reader
 
-import org.gjt.sp.jedit.io.{VFS, FileVFS, VFSManager}
+import org.gjt.sp.jedit.io.{FileVFS, VFSManager}
 import org.gjt.sp.jedit.MiscUtilities
-import org.gjt.sp.jedit.{jEdit, View, Buffer}
+import org.gjt.sp.jedit.Buffer
 import org.gjt.sp.jedit.bufferio.BufferIORequest
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/jedit_spell_checker.scala
--- a/src/Tools/jEdit/src/jedit_spell_checker.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_spell_checker.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -13,7 +13,7 @@
 
 import org.gjt.sp.jedit.menu.EnhancedMenuItem
 import org.gjt.sp.jedit.jEdit
-import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
+import org.gjt.sp.jedit.textarea.JEditTextArea
 
 
 object JEdit_Spell_Checker {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/main_plugin.scala
--- a/src/Tools/jEdit/src/main_plugin.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/main_plugin.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -18,7 +18,6 @@
 import org.gjt.sp.jedit.syntax.ModeProvider
 import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged,
   ViewUpdate}
-import org.gjt.sp.util.SyntaxUtilities
 import org.gjt.sp.util.Log
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/output_area.scala
--- a/src/Tools/jEdit/src/output_area.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/output_area.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -16,9 +16,7 @@
 import javax.swing.event.{TreeSelectionListener, TreeSelectionEvent}
 import javax.swing.plaf.basic.BasicSplitPaneUI
 
-import scala.util.matching.Regex
 import scala.swing.{Component, ScrollPane, SplitPane, Orientation}
-import scala.swing.event.ButtonClicked
 
 import org.gjt.sp.jedit.View
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/output_dockable.scala
--- a/src/Tools/jEdit/src/output_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/output_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
 import isabelle._
 
 import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
 
 import org.gjt.sp.jedit.View
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/pretty_text_area.scala
--- a/src/Tools/jEdit/src/pretty_text_area.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/pretty_text_area.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,8 +10,8 @@
 
 import isabelle._
 
-import java.awt.{Color, Font, Toolkit, Window}
-import java.awt.event.{InputEvent, KeyEvent}
+import java.awt.{Color, Font}
+import java.awt.event.KeyEvent
 import java.awt.im.InputMethodRequests
 import javax.swing.JTextField
 import javax.swing.event.{DocumentListener, DocumentEvent}
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/pretty_tooltip.scala
--- a/src/Tools/jEdit/src/pretty_tooltip.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/pretty_tooltip.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -18,7 +18,6 @@
 import scala.swing.event.MouseClicked
 
 import org.gjt.sp.jedit.View
-import org.gjt.sp.jedit.textarea.TextArea
 
 
 object Pretty_Tooltip {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/process_indicator.scala
--- a/src/Tools/jEdit/src/process_indicator.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/process_indicator.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,6 @@
 
 import isabelle._
 
-import java.awt.Image
 import java.awt.event.{ActionListener, ActionEvent}
 import javax.swing.{ImageIcon, Timer}
 import scala.swing.{Label, Component}
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/protocol_dockable.scala
--- a/src/Tools/jEdit/src/protocol_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/protocol_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,8 +9,6 @@
 
 import isabelle._
 
-import java.awt.BorderLayout
-
 import scala.swing.{TextArea, ScrollPane}
 
 import org.gjt.sp.jedit.View
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/simplifier_trace_dockable.scala
--- a/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/simplifier_trace_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -12,7 +12,6 @@
 import scala.swing.{Orientation, Separator}
 
 import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
 
 import org.gjt.sp.jedit.View
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/simplifier_trace_window.scala
--- a/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/simplifier_trace_window.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -11,15 +11,12 @@
 
 import scala.annotation.tailrec
 import scala.collection.immutable.SortedMap
-import scala.swing.{BorderPanel, Component, Dimension, Frame, Label, TextField}
-import scala.swing.event.{Key, KeyPressed}
+import scala.swing.{BorderPanel, Component, Dimension, Frame}
 import scala.util.matching.Regex
 
 import java.awt.BorderLayout
 import java.awt.event.{ComponentEvent, ComponentAdapter}
 
-import javax.swing.SwingUtilities
-
 import org.gjt.sp.jedit.View
 
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/sledgehammer_dockable.scala
--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -12,7 +12,7 @@
 import scala.swing.{Component, Label}
 
 import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter, KeyEvent}
+import java.awt.event.KeyEvent
 
 import org.gjt.sp.jedit.View
 import org.gjt.sp.jedit.gui.HistoryTextField
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/state_dockable.scala
--- a/src/Tools/jEdit/src/state_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/state_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
 import isabelle._
 
 import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
 
 import org.gjt.sp.jedit.View
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/text_overview.scala
--- a/src/Tools/jEdit/src/text_overview.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/text_overview.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -11,7 +11,7 @@
 
 import scala.annotation.tailrec
 
-import java.awt.{Graphics, Graphics2D, BorderLayout, Dimension, Color}
+import java.awt.{Graphics, Graphics2D, BorderLayout, Dimension}
 import java.awt.event.{MouseAdapter, MouseEvent}
 import javax.swing.{JPanel, ToolTipManager}
 
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/text_structure.scala
--- a/src/Tools/jEdit/src/text_structure.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/text_structure.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -14,7 +14,6 @@
 import org.gjt.sp.jedit.indent.{IndentRule, IndentAction}
 import org.gjt.sp.jedit.textarea.{TextArea, StructureMatcher, Selection}
 import org.gjt.sp.jedit.buffer.JEditBuffer
-import org.gjt.sp.jedit.Buffer
 
 
 object Text_Structure {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,12 +9,12 @@
 
 import isabelle._
 
-import scala.swing.{Button, Label, ScrollPane}
+import scala.swing.{Label, ScrollPane}
 
 import java.awt.BorderLayout
 import javax.swing.border.{BevelBorder, SoftBevelBorder}
 
-import org.gjt.sp.jedit.{View, jEdit}
+import org.gjt.sp.jedit.View
 
 
 class Theories_Dockable(view: View, position: String) extends Dockable(view, position) {
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/theories_status.scala
--- a/src/Tools/jEdit/src/theories_status.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/theories_status.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -9,12 +9,10 @@
 
 import isabelle._
 
-import scala.swing.{ListView, Alignment, Label, CheckBox, BorderPanel, BoxPanel, Orientation,
-  Component}
+import scala.swing.{ListView, Alignment, Label, CheckBox, BorderPanel, Component}
 import scala.swing.event.{MouseClicked, MouseMoved}
 
-import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
-import javax.swing.border.{BevelBorder, SoftBevelBorder}
+import java.awt.{Graphics2D, Color, Point, Dimension}
 import javax.swing.{JList, BorderFactory, UIManager}
 
 import org.gjt.sp.jedit.View
diff -r 9f509bc10a63 -r 508a673c87ac src/Tools/jEdit/src/timing_dockable.scala
--- a/src/Tools/jEdit/src/timing_dockable.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/timing_dockable.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -12,11 +12,10 @@
 import scala.swing.{Label, ListView, Alignment, ScrollPane, Component, TextField}
 import scala.swing.event.{MouseClicked, ValueChanged}
 
-import java.awt.{BorderLayout, Graphics2D, Insets, Color}
+import java.awt.BorderLayout
 import javax.swing.{JList, BorderFactory}
-import javax.swing.border.{BevelBorder, SoftBevelBorder}
 
-import org.gjt.sp.jedit.{View, jEdit}
+import org.gjt.sp.jedit.View
 
 
 class Timing_Dockable(view: View, position: String) extends Dockable(view, position) {