src/Tools/jEdit/src/theories_dockable.scala
changeset 52802 0b98561d0790
parent 52779 82707f95a783
child 52807 b859a180936b
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Tue Jul 30 22:31:34 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Tue Jul 30 22:43:11 2013 +0200
     1.3 @@ -15,9 +15,9 @@
     1.4  import scala.swing.event.{ButtonClicked, MouseClicked}
     1.5  
     1.6  import java.lang.System
     1.7 -import java.awt.{BorderLayout, Graphics2D, Insets, Color}
     1.8 +import java.awt.{BorderLayout, Graphics2D, Insets}
     1.9  import javax.swing.{JList, BorderFactory}
    1.10 -import javax.swing.border.{BevelBorder, SoftBevelBorder, LineBorder}
    1.11 +import javax.swing.border.{BevelBorder, SoftBevelBorder}
    1.12  
    1.13  import org.gjt.sp.jedit.{View, jEdit}
    1.14  
    1.15 @@ -68,7 +68,7 @@
    1.16      private val b3 = button(PIDE.Execution_Range.VISIBLE, "Check visible parts of theories")
    1.17      private val group = new ButtonGroup(b1, b2, b3)
    1.18      contents ++= List(label, b1, b2, b3)
    1.19 -    border = new LineBorder(Color.GRAY)
    1.20 +    border = new SoftBevelBorder(BevelBorder.LOWERED)
    1.21  
    1.22      def load()
    1.23      {