337
316
} else if (func.equals("zoomRectangle")) {
338
317
windows.get(windowID).zoomRectangle(intList.get(0), intList.get(1),
339
318
intList.get(2), intList.get(3));
343
322
} else if (func.equals("drawImage")) {
346
325
} else if (func.equals("destroy")) {
347
326
windows.get(windowID).destroy();