if(caseSensitive.isSelected())\r
button.setMargin(new java.awt.Insets(2,2,2,2));\r
else\r
if(caseSensitive.isSelected())\r
button.setMargin(new java.awt.Insets(2,2,2,2));\r
else\r
- button.setMargin(new java.awt.Insets(2,14,2,14));\r
+ button.setMargin(new java.awt.Insets(2,14,2,14));\r