void unzoom(final MUIElement element) { MWindow win = MinMaxAddonUtil.getWindowFor(element); Shell hostShell = (Shell) win.getWidget(); if (hostShell != null) { FaderAnimationFeedback fader = new FaderAnimationFeedback(hostShell); AnimationEngine engine = new AnimationEngine(win.getContext(), fader, 300); engine.schedule(); } List<MUIElement> elementsToRestore = getElementsToRestore(element); for (MUIElement toRestore : elementsToRestore) { toRestore.getTags().remove(IPresentationEngine.MINIMIZED_BY_ZOOM); toRestore.getTags().remove(IPresentationEngine.MINIMIZED); } adjustCTFButtons(element); MinMaxAddonUtil.unzoomStackOfMinMaxChildrenArea(this, element); // There are more views available to be active... EPartService partService = win.getContext().get(EPartService.class); partService.requestActivation(); }
void maximize(final MUIElement element) { if (!element.isToBeRendered()) { return; } List<MUIElement> elementsToMinimize = getElementsToMinimize(element); Shell hostShell = (Shell) modelService.getTopLevelWindowFor(element).getWidget(); MWindow win = MinMaxAddonUtil.getWindowFor(element); if (hostShell != null) { FaderAnimationFeedback fader = new FaderAnimationFeedback(hostShell); AnimationEngine engine = new AnimationEngine(win.getContext(), fader, 300); engine.schedule(); } // Restore any currently maximized element restoreMaximizedElement(element, win); for (MUIElement toMinimize : elementsToMinimize) { toMinimize.getTags().add(MINIMIZED); toMinimize.getTags().add(MINIMIZED_BY_ZOOM); } adjustCTFButtons(element); MinMaxAddonUtil.maximizeMinMaxChildrenArea(this, element); }
AnimationEngine engine = new AnimationEngine(win.getContext(), fader, 300); engine.schedule();
AnimationEngine engine = new AnimationEngine(win.getContext(), fader, 300); engine.schedule();