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
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