public static void cleanUp(int n) {
Debug.log(3, me + "cleanUp: %d", n);
ScreenHighlighter.closeAll();
Observing.cleanUp();
Mouse.reset();
// TODO move to class Keys after implementation
Screen.getPrimaryScreen().getRobot().keyUp();
// TODO what about remote screen sessions????
HotkeyManager.reset();
if (CommandArgs.isIDE()) {
// TODO reset selected options to defaults
}
}
protected void showTarget(Location loc, double secs) {
if (Settings.isShowActions()) {
ScreenHighlighter overlay = new ScreenHighlighter(this, null);
overlay.showTarget(loc, (float) secs);
}
}
