147148149150151152153154155
} public Thread clearDeviceWorkspace() { return new ZDefaultThread() { public void run() { ViewMediator.modifyBranch(new DesktopBranch(new DesktopElement[]{getDeviceWorkspaceTask().desktopElement}), true, -1); } }; }
275276277278279280281282283284285286
public void takeSnapshot(final String title) { new ZDefaultThread() { public void run() { try { DesktopBranch db = new DesktopBranch(ViewMediator.getDeviceDesktopElements(device), title); if (db.count() == 0) return; snapshots.add(db); fireStateChanged(true); } catch (Exception e) { e.printStackTrace();