415416417418419420421422423424425
/* * Avoids flickering when replacing hovers, especially on Vista in * ON_CLICK mode. Causes flickering on GTK. Carbon does not care. */ if ("win32".equals(SWT.getPlatform())) { shell.moveAbove(null); } super.setVisible(true); }
125126127128129130131132133134135
Shell windowShell = window.getShell(); if (windowShell.getMinimized()) { windowShell.setMinimized(false); } windowShell.setActive(); windowShell.moveAbove(null); } }); mi.setSelection(window == workbenchWindow); } }
353354355356357358359360361362363
/* * Avoids flickering when replacing hovers, especially on Vista in ON_CLICK mode. * Causes flickering on GTK. Carbon does not care. */ if ("win32".equals(SWT.getPlatform())) //$NON-NLS-1$ shell.moveAbove(null); super.setVisible(true); } /*
756757758759760761762763764765766
.getPage(); Shell s = p.getWorkbenchWindow().getShell(); if (s.getMinimized()) { s.setMinimized(false); } s.moveAbove(null); p.getWorkbenchWindow().setActivePage(p); p.activate(editor); } else { IWorkbenchPage p = window.getActivePage(); if (p != null) {
360361362363364365366367368369370