/** Schedules removal of a node */ private void scheduleRemove(Node n) { synchronized (ExplorerManager.this) { if (selectionSyncTask == null) { selectionSyncTask = getSelectionProcessor().create(this); } else { selectionSyncTask.cancel(); } } synchronized (this) { removeList.add(n); } // invariant: selectionSyncTask != null && is not running yet. selectionSyncTask.schedule(SELECTION_SYNC_DELAY); }
/** Schedules removal of a node */ private void scheduleRemove(Node n) { synchronized (ExplorerManager.this) { if (selectionSyncTask == null) { selectionSyncTask = getSelectionProcessor().create(this); } else { selectionSyncTask.cancel(); } } synchronized (this) { removeList.add(n); } // invariant: selectionSyncTask != null && is not running yet. selectionSyncTask.schedule(SELECTION_SYNC_DELAY); }
/** Schedules removal of a node */ private void scheduleRemove(Node n) { synchronized (ExplorerManager.this) { if (selectionSyncTask == null) { selectionSyncTask = getSelectionProcessor().create(this); } else { selectionSyncTask.cancel(); } } synchronized (this) { removeList.add(n); } // invariant: selectionSyncTask != null && is not running yet. selectionSyncTask.schedule(SELECTION_SYNC_DELAY); }