public Size getRequiredSize() {
Size size = new Size();
for (int i = 0; i < options.length; i++) {
size.extendHeight(rowHeight);
size.ensureWidth(STYLE.stringWidth(options[i]));
}
size.extendHeight(2 * VPADDING);
size.extendWidth(2 * HPADDING);
return size;
}