# 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() {