selectionIndex = sizeCombo.indexOf(String.valueOf(SELECTION_SIZE));
selectionIndex = sizeCombo.indexOf(String.valueOf(DEFAULT_SIZE));
void initSizeCombo(FontExtStyles fontExtStyles) {	Combo sizeCombo = getSizeCombo();	String previousSize = sizeCombo.getText();	sizeCombo.removeAll();	int selectionIndex = -1;	if (fontExtStyles.isScalable()) {		sizeCombo.setItems(SCALABLE_SIZES);		selectionIndex = sizeCombo.indexOf(String.valueOf(SELECTION_SIZE));	}	else {		Vector sizes = fontExtStyles.getSizes(getExtStyleCombo().getText());		for (int i = 0; i < sizes.size(); i++) {			Integer size = (Integer) sizes.elementAt(i);			sizeCombo.add(size.toString());			// select the largest height if there's no font			// size that is at least as high as SelectionSize			if (size.intValue() >= SELECTION_SIZE && selectionIndex == -1)				selectionIndex = i;		}	}	int indexOfPreviousSelection = sizeCombo.indexOf(previousSize);	if (indexOfPreviousSelection != -1)		selectionIndex = indexOfPreviousSelection;	if (selectionIndex == -1)	// last resort case, should not happen		selectionIndex = sizeCombo.getItemCount() - 1;				sizeCombo.select(selectionIndex);	}