# HG changeset patch
# User wenzelm
# Date 1660419772 -7200
# Node ID 4cd3036e1b82bb325fc284e41ca3008c8c10d113
# Parent  dfedac6525d4aa0e0e01807be0a37d70cff27212
unused;

diff -r dfedac6525d4 -r 4cd3036e1b82 src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Sat Aug 13 21:23:59 2022 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Sat Aug 13 21:42:52 2022 +0200
@@ -11,7 +11,6 @@
 
 import java.awt.{Point, Frame, Rectangle}
 
-import scala.swing.CheckBox
 import scala.swing.event.ButtonClicked
 
 import org.gjt.sp.jedit.{jEdit, View, Buffer, EditBus}