@Override protected void remove(final NodeModel node, final IExtension extension) { super.remove(node, extension); } }
@Override protected void remove(final NodeModel node, final IExtension extension) { removeIcons(node); super.remove(node, extension); }
@Override protected void remove(final NodeModel node, final IExtension extension) { final LatexExtension latexExtension = (LatexExtension) extension; latexExtension.removeViewers(); super.remove(node, extension); }
@Override protected void remove(final NodeModel node, final IExtension extension) { final ExternalResource resource = (ExternalResource) extension; resource.removeViewers(); super.remove(node, extension); }
@Override public void remove(final NodeModel node, final IExtension extension) { final TimerColorChanger timer = ((TimerColorChanger) extension); timer.getTimer().cancel(); final MapController mapController = Controller.getCurrentModeController().getMapController(); mapController.removeMapChangeListener(timer); mapController.removeMapLifeCycleListener(timer); super.remove(node, extension); } }
protected IExtension toggle(final NodeModel node, IExtension extension) { final IExtension before; final IExtension after; if (extension != null && node.containsExtension(extension.getClass())) { before = extension; after = null; remove(node, extension); } else { if (extension == null) { extension = createExtension(node); } if (extension != null) { add(node, extension); } before = null; after = extension; } Controller.getCurrentModeController().getMapController() .nodeChanged(node, getExtensionClass(), before, after); return extension; }
@Override public void remove(final NodeModel node, final IExtension extension) { final ReminderExtension reminderExtension = (ReminderExtension) extension; reminderExtension.deactivateTimer(); reminderExtension.displayState(null, reminderExtension.getNode(), true); final MapController mapController = modeController.getMapController(); mapController.removeMapChangeListener(reminderExtension); mapController.setSaved(node.getMap(), false); super.remove(node, extension); }