# HG changeset patch
# User wenzelm
# Date 1448646459 -3600
# Node ID c6c2508f94b85de77d9f7232da4576cb31e6b912
# Parent  fc53fbf9fe016f03aea3220add86e01ffda2066f
tuned;

diff -r fc53fbf9fe01 -r c6c2508f94b8 src/Tools/jEdit/src/sledgehammer_dockable.scala
--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala	Wed Nov 25 15:58:22 2015 +0100
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala	Fri Nov 27 18:47:39 2015 +0100
@@ -9,7 +9,7 @@
 
 import isabelle._
 
-import scala.swing.{Button, Component, Label, TextField, CheckBox}
+import scala.swing.{Button, Component, Label, CheckBox}
 import scala.swing.event.ButtonClicked
 
 import java.awt.BorderLayout