We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4772d3d commit 860e654Copy full SHA for 860e654
sqldev/src/main/java/org/utplsql/sqldev/ui/runner/GradientToolbar.xtend
@@ -14,20 +14,23 @@ class GradientToolbar extends JToolBar {
14
return
15
}
16
17
- // paint gradient background from top to bottom
+ // paint gradient background from top to bottom with separator line at the bottom
18
val g2d = g as Graphics2D
19
val w = width
20
- val h = height
+ val h = height - 1
21
val h2 = height / 2 as int
22
val colorTop = new Color(237, 237, 237)
23
val colorMiddle = new Color(244, 244, 244)
24
val colorBottom = new Color(254, 254, 254)
25
+ val colorBottomLine = Color.LIGHT_GRAY
26
val gp1 = new GradientPaint(0, 0, colorTop, 0, h2, colorMiddle)
27
g2d.paint = gp1
28
g2d.fillRect(0, 0, w, h2)
29
val gp2 = new GradientPaint(0, h2, colorMiddle, 0, h, colorBottom)
30
g2d.paint = gp2
31
g2d.fillRect(0, h2, w, h)
32
+ g2d.paint = colorBottomLine
33
+ g2d.fillRect(0, h, w, h+1)
34
35
// do rest, changing opaque to ensure background is not overwritten
36
setOpaque(false)
0 commit comments