if (e.CHAR_UNDEFINED != e.getKeyChar()) {
log.trace("keyTyped: %s", e.getKeyChar());
if ("+".equals("" + e.getKeyChar())) {
Element newRect = zoomIn(rect);
log.trace("action: zoom-in to %s", newRect);
<BUG>zoom(newRect);
} else if ("-".equals("" + e.getKeyChar())) {</BUG>
Element newRect = zoomOut(rect, scr);
log.trace("action: zoom-out to %s", newRect);
<BUG>zoom(newRect);
} else if ("s".equals("" + e.getKeyChar())) {</BUG>
log.trace("action: save request");

if (e.CHAR_UNDEFINED != e.getKeyChar()) {
log.trace("keyTyped: %s", e.getKeyChar());
if ("+".equals("" + e.getKeyChar())) {
Element newRect = zoomIn(rect);
log.trace("action: zoom-in to %s", newRect);
resizeToFrame();
} else if ("-".equals("" + e.getKeyChar())) {
Element newRect = zoomOut(rect, scr);
log.trace("action: zoom-out to %s", newRect);
resizeToFrame();
} else if ("s".equals("" + e.getKeyChar())) {
log.trace("action: save request");
