From cd969babff64e8da46e03ae5a2f628512ade6e51 Mon Sep 17 00:00:00 2001 From: drdev Date: Sat, 17 Aug 2013 01:53:21 +0000 Subject: [PATCH] Increase text field height by 2 pixels --- src/main/java/forge/gui/toolbox/FTextField.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/forge/gui/toolbox/FTextField.java b/src/main/java/forge/gui/toolbox/FTextField.java index 5dc6b86f48e..47a9e575cc2 100644 --- a/src/main/java/forge/gui/toolbox/FTextField.java +++ b/src/main/java/forge/gui/toolbox/FTextField.java @@ -53,7 +53,7 @@ public class FTextField extends JTextField { this.setForeground(FSkin.getColor(FSkin.Colors.CLR_TEXT)); this.setBackground(FSkin.getColor(FSkin.Colors.CLR_THEME2)); this.setCaretColor(FSkin.getColor(FSkin.Colors.CLR_TEXT)); - this.setMargin(new Insets(2, 3, 1, 3)); + this.setMargin(new Insets(3, 3, 2, 3)); this.setOpaque(true); if (0 < builder.maxLength)