GeneralKeyWindowImageName.KEYBUTTON_PUSHED);
/* calculate the key window size */
- int cntButton = Math.min(keyMapList.size(), BUTTON_DEFAULT_CNT);
+ int cntButton = BUTTON_DEFAULT_CNT;
+ if (keyMapList != null) {
+ cntButton = Math.min(keyMapList.size(), cntButton);
+ }
widthBase = imageNormal.getImageData().width;
heightBase = (imageNormal.getImageData().height * cntButton) +
(BUTTON_VERTICAL_SPACING * (cntButton - 1));
widthScrollbar = SCROLLBAR_SIZE_WIDTH + SCROLLBAR_HORIZONTAL_SPACING;
- int heightHeaderPart = (PAIRTAG_CIRCLE_SIZE + PAIRTAG_MARGIN_BOTTOM);
- int heightTailPart = SHELL_MARGIN_BOTTOM;
+ final int heightHeaderPart = PAIRTAG_CIRCLE_SIZE + PAIRTAG_MARGIN_BOTTOM;
+ final int heightTailPart = SHELL_MARGIN_BOTTOM;
/* make a frame image */
if (keyMapList != null) {