# 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) {