// which provides specialized margins for buttons which use the
// Dialog virtual font
ButtonPainter(int topMargin, int bottomMargin)
{
super(
new AdjustableBorderPainter(
new DisabledColorChange(
new OffscreenWrappingPainter(
new TextPainter(TEXT_KEY)
)),
topMargin,