} else {
b = BorderFactory.createBevelBorder(BevelBorder.RAISED);
}
Insets inset = b.getBorderInsets(mv);
Rectangle r = new Rectangle(buttonRectangle);
r.grow((inset.top+inset.bottom)/2, (inset.left+inset.right)/2);
b.paintBorder(mv, g, r.x, r.y, r.width, r.height);
String labelText = getText();
if ((labelText != null) && showTextOrIcon && Main.pref.getBoolean("marker.buttonlabels", true)) {
g.drawString(labelText, screen.x+4, screen.y+2);