public Shell getShell() { return (Shell) dragWindow.getWidget(); }
public Shell getShell() { return (Shell) dragWindow.getWidget(); }
protected CSSEngine getEngine(MWindow window) { return WidgetElement.getEngine((Widget) window.getWidget()); }
static void handleBringToTop(Event event) { Object changedObj = event.getProperty(UIEvents.EventTags.ELEMENT); // check if the window brought to top is a none top level window if (changedObj instanceof MWindow && ((MUIElement) changedObj).getParent() == null) { MWindow w = (MWindow) changedObj; if (w.getWidget() instanceof WWidget<?>) { WWidget<?> widget = (WWidget<?>) w.getWidget(); if (widget != null) { widget.activate(); } } } }
@Override public void handleEvent(Event event) { Object changedObj = event.getProperty(UIEvents.EventTags.ELEMENT); if (changedObj instanceof MApplication) { Object activeWindow = event.getProperty(UIEvents.EventTags.NEW_VALUE); if (activeWindow != null && activeWindow instanceof MWindow) { MWindow m = (MWindow) activeWindow; if (m.getWidget() instanceof WWidget<?>) { WWidget<?> w = (WWidget<?>) m.getWidget(); w.activate(); } } } } };
/** * Update this child window with any values that may have been obtained from * the parent. * * @param child * the child window (may now be orphaned) */ private void handleParentChange(MWindow child) { // No widget == nothing to update Shell theShell = (Shell) child.getWidget(); if (theShell == null) { return; } // Detached windows may take their shell icon from the parent window theShell.setImage(getImage(child)); }
@Override public void run() { boundsJob = null; while (!windowsToUpdate.isEmpty()) { MWindow window = windowsToUpdate.remove(0); Shell shell = (Shell) window.getWidget(); if (shell == null || shell.isDisposed()) { continue; } shell.setBounds(window.getX(), window.getY(), window.getWidth(), window.getHeight()); } } }
public DragHost(MUIElement element) { assert (dragElement != null); dragElement = element; originalParent = dragElement.getParent(); originalIndex = originalParent.getChildren().indexOf(element); baseWindow = getWindow(); assert (baseWindow != null && baseWindow.getWidget() != null); attach(); }
public DragHost(MUIElement element) { assert (dragElement != null); dragElement = element; originalParent = dragElement.getParent(); originalIndex = originalParent.getChildren().indexOf(element); baseWindow = getWindow(); assert (baseWindow != null && baseWindow.getWidget() != null); attach(); }
public void run() { clearSizeUpdate(); while (!windowsToUpdate.isEmpty()) { MWindow window = windowsToUpdate.remove(0); Shell shell = (Shell) window.getWidget(); if (shell == null || shell.isDisposed()) continue; shell.setBounds(window.getX(), window.getY(), window.getWidth(), window.getHeight()); } } }
void handleWindowRemove(@NonNull MWindow parent, @NonNull MWindow element) { if (element.isToBeRendered() && element.getWidget() != null) { hideChild(parent, element); } }
public DnDInfo(MWindow topWin) { topLevelWindow = topWin; display = ((Control) (topWin.getWidget())).getDisplay(); modelService = topWin.getContext().get(EModelService.class); update(); }
@Override public void restore() { WMaximizationHost widget = (WMaximizationHost) this.window.getWidget(); WLayoutedWidget<? extends MUIElement> childWidget = null; if (this.maximizedElement instanceof MPlaceholder) { childWidget = (WLayoutedWidget<MUIElement>) ((MPlaceholder) this.maximizedElement).getRef().getWidget(); } else { childWidget = (WLayoutedWidget<MUIElement>) this.maximizedElement.getWidget(); } if (widget != null && childWidget != null) { widget.removeMaximizedContent(); this.window.getPersistedState().remove("MAXIMIZED"); //$NON-NLS-1$ this.maximizedElement = null; } }
public DnDInfo(MWindow topWin) { topLevelWindow = topWin; display = ((Control) (topWin.getWidget())).getDisplay(); modelService = topWin.getContext().get(EModelService.class); update(); }
public void handleEvent(Event event) { // Ensure that this event is for a MApplication if (!(event.getProperty(UIEvents.EventTags.ELEMENT) instanceof MApplication)) return; MWindow win = (MWindow) event .getProperty(UIEvents.EventTags.NEW_VALUE); if ((win == null) || !win.getTags().contains("topLevel")) //$NON-NLS-1$ return; win.setToBeRendered(true); if (!(win.getRenderer() == WBWRenderer.this)) return; Shell shell = (Shell) win.getWidget(); if (shell.getMinimized()) { shell.setMinimized(false); } shell.setActive(); shell.moveAbove(null); } };
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); }