# HG changeset patch
# User wenzelm
# Date 1396453676 -7200
# Node ID 0646f63a02b7b0647695af89bbce084f6c190ce3
# Parent  0362c3bb4d02243c7d5ec70c07087f15eb3e4908# Parent  fbab7fe746d5e120743aa0fc7a07a1fb93f0ea0a
merged;

diff -r 0362c3bb4d02 -r 0646f63a02b7 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 02 16:45:31 2014 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 02 17:47:56 2014 +0200
@@ -16,7 +16,7 @@
 
 import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
 import javax.swing.{JList, BorderFactory}
-import javax.swing.border.{BevelBorder, SoftBevelBorder}
+import javax.swing.border.{BevelBorder, SoftBevelBorder, EtchedBorder}
 
 import org.gjt.sp.jedit.{View, jEdit}
 
@@ -127,7 +127,7 @@
 
     val label = new Label {
       opaque = false
-      border = BorderFactory.createLineBorder(Color.GRAY, 1)
+      border = new EtchedBorder(EtchedBorder.RAISED)
       xAlignment = Alignment.Leading
 
       override def paintComponent(gfx: Graphics2D)