# HG changeset patch
# User wenzelm
# Date 1334864544 -7200
# Node ID 1f8f1c2045fdf4b87d87612e01c8aa9ee55ef50f
# Parent  0692eea09cb7c1d4c27386ecf1ae447ba9b8ada0
tuned imports;

diff -r 0692eea09cb7 -r 1f8f1c2045fd src/Tools/jEdit/src/session_dockable.scala
--- a/src/Tools/jEdit/src/session_dockable.scala	Thu Apr 19 19:54:48 2012 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala	Thu Apr 19 21:42:24 2012 +0200
@@ -16,7 +16,7 @@
 
 import java.lang.System
 import java.awt.{BorderLayout, Graphics2D, Insets}
-import javax.swing.{JList, DefaultListCellRenderer, BorderFactory}
+import javax.swing.{JList, BorderFactory}
 import javax.swing.border.{BevelBorder, SoftBevelBorder}
 
 import org.gjt.sp.jedit.{View, jEdit}