src/Tools/jEdit/src/theories_dockable.scala
changeset 56367 fbab7fe746d5
parent 56357 8a58a8c5a1c0
child 56372 fadb0fef09d7
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 02 17:11:44 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 02 17:39:47 2014 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  
     1.5  import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
     1.6  import javax.swing.{JList, BorderFactory}
     1.7 -import javax.swing.border.{BevelBorder, SoftBevelBorder}
     1.8 +import javax.swing.border.{BevelBorder, SoftBevelBorder, EtchedBorder}
     1.9  
    1.10  import org.gjt.sp.jedit.{View, jEdit}
    1.11  
    1.12 @@ -127,7 +127,7 @@
    1.13  
    1.14      val label = new Label {
    1.15        opaque = false
    1.16 -      border = BorderFactory.createLineBorder(Color.GRAY, 1)
    1.17 +      border = new EtchedBorder(EtchedBorder.RAISED)
    1.18        xAlignment = Alignment.Leading
    1.19  
    1.20        override def paintComponent(gfx: Graphics2D)