exclude border from painted background area

PhilippSalvisberg · PhilippSalvisberg · commit cffd290a9a05 · 2019-06-29T20:17:57.000+02:00
diff --git a/sqldev/src/main/java/org/utplsql/sqldev/ui/runner/RunnerTextArea.xtend b/sqldev/src/main/java/org/utplsql/sqldev/ui/runner/RunnerTextArea.xtend
@@ -22,7 +22,7 @@ class RunnerTextArea extends JTextArea implements FocusListener{
 
 		// use value of JTextField for consistency
 		g.color = UIManager.getColor("TextField.inactiveBackground")
-		g.fillRect(0, 0, width, height)
+		g.fillRect(3, 3, width - 6, height - 6)
 
 		// do rest, changing opaque to ensure background is not overwritten
 		setOpaque(false)
