# HG changeset patch
# User wenzelm
# Date 1375216991 -7200
# Node ID 0b98561d07907ae2572bc99864bed3fcb3a73485
# Parent  6f88e379aa3eaf4dc44f92a3d59eac06006aba7d
more uniform border;

diff -r 6f88e379aa3e -r 0b98561d0790 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Tue Jul 30 22:31:34 2013 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Tue Jul 30 22:43:11 2013 +0200
@@ -15,9 +15,9 @@
 import scala.swing.event.{ButtonClicked, MouseClicked}
 
 import java.lang.System
-import java.awt.{BorderLayout, Graphics2D, Insets, Color}
+import java.awt.{BorderLayout, Graphics2D, Insets}
 import javax.swing.{JList, BorderFactory}
-import javax.swing.border.{BevelBorder, SoftBevelBorder, LineBorder}
+import javax.swing.border.{BevelBorder, SoftBevelBorder}
 
 import org.gjt.sp.jedit.{View, jEdit}
 
@@ -68,7 +68,7 @@
     private val b3 = button(PIDE.Execution_Range.VISIBLE, "Check visible parts of theories")
     private val group = new ButtonGroup(b1, b2, b3)
     contents ++= List(label, b1, b2, b3)
-    border = new LineBorder(Color.GRAY)
+    border = new SoftBevelBorder(BevelBorder.LOWERED)
 
     def load()
     {