memoryMax = Integer.parseInt(memoryField.getText().trim());
if (memoryMax < memoryMin) memoryMax = memoryMin;
setInteger("run.options.memory.maximum", memoryMax); //$NON-NLS-1$
} catch (NumberFormatException e) {
System.err.println("Ignoring bad memory setting");
<BUG>}
String newSizeText = fontSizeField.getText();</BUG>
try {
int newSize = Integer.parseInt(newSizeText.trim());
String pieces[] = PApplet.split(get("editor.font"), ','); //$NON-NLS-1$

memoryMax = Integer.parseInt(memoryField.getText().trim());
if (memoryMax < memoryMin) memoryMax = memoryMin;
setInteger("run.options.memory.maximum", memoryMax); //$NON-NLS-1$
} catch (NumberFormatException e) {
System.err.println("Ignoring bad memory setting");
}
String fontFamily = (String) fontSelectionBox.getSelectedItem();
String newSizeText = fontSizeField.getText();
try {
int newSize = Integer.parseInt(newSizeText.trim());
String pieces[] = PApplet.split(get("editor.font"), ','); //$NON-NLS-1$
