# HG changeset patch
# User wenzelm
# Date 1357317235 -3600
# Node ID 226a5b290c857d463bed3506c741f5311ac7875d
# Parent  bf5cc2a06e87b896f49ccdd815dba5a588ddebfe
tuned imports;

diff -r bf5cc2a06e87 -r 226a5b290c85 src/Tools/jEdit/src/isabelle_sidekick.scala
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 04 16:07:48 2013 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 04 17:33:55 2013 +0100
@@ -20,8 +20,7 @@
 
 import org.gjt.sp.jedit.{Buffer, EditPane, TextUtilities, View}
 import errorlist.DefaultErrorSource
-import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion,
-  SideKickCompletionPopup, IAsset}
+import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion, IAsset}
 
 
 object Isabelle_Sidekick