| changeset 55618 | 995162143ef4 |
| parent 53712 | ea51046be71b |
| child 55825 | 694833e3e4a0 |
--- a/src/Tools/jEdit/src/info_dockable.scala Thu Feb 20 14:17:28 2014 +0100 +++ b/src/Tools/jEdit/src/info_dockable.scala Thu Feb 20 14:36:17 2014 +0100 @@ -14,7 +14,6 @@ import scala.swing.Button import scala.swing.event.ButtonClicked -import java.lang.System import java.awt.BorderLayout import java.awt.event.{ComponentEvent, ComponentAdapter, WindowFocusListener, WindowEvent}