try {
root.putAndTriggerTraps("_Move", T);
} catch (JSExn e) {
- Log.log(Surface.class, "Exception thrown from Move message handler");
+ Log.info(Surface.class, "Exception thrown from Move message handler");
Log.logJS(e);
}
if (!cursor.equals(oldcursor)) syncCursor();
/** Indicates that the Surface is no longer needed */
public final void dispose(boolean quitIfAllSurfacesGone) {
- if (Log.on) Log.log(this, "disposing " + this);
+ if (Log.on) Log.info(this, "disposing " + this);
allSurfaces.removeElement(this);
_dispose();
if (allSurfaces.size() == 0) {
- if (Log.on) Log.log(this, "exiting because last surface was destroyed");
+ if (Log.on) Log.info(this, "exiting because last surface was destroyed");
System.exit(0);
}
}
try {
boxContainingMouse.putAndTriggerTraps(name, value);
} catch (JSExn e) {
- Log.log(Surface.class, "Exception thrown from "+name+" handler");
+ Log.info(Surface.class, "Exception thrown from "+name+" handler");
Log.logJS(e);
} finally {
Platform.clipboardReadEnabled = false;