src/Tools/jEdit/src/theories_dockable.scala
changeset 55618 995162143ef4
parent 54671 d64a4ef26edb
child 55877 65c9968286d5
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
     1.3 @@ -14,7 +14,6 @@
     1.4    ScrollPane, Component, CheckBox, BorderPanel}
     1.5  import scala.swing.event.{MouseClicked, MouseMoved}
     1.6  
     1.7 -import java.lang.System
     1.8  import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
     1.9  import javax.swing.{JList, BorderFactory}
    1.10  import javax.swing.border.{BevelBorder, SoftBevelBorder}