void updateSystemUIMode () { if ((window.collectionBehavior() & OS.NSWindowCollectionBehaviorFullScreenPrimary) != 0) return; if (!getMonitor ().equals (display.getPrimaryMonitor ())) return; int mode = display.systemUIMode, options = display.systemUIOptions; if (fullScreen) { mode = OS.kUIModeAllHidden; if (menuBar != null) { mode = OS.kUIModeContentHidden; } options = 0; } int[] uiMode = new int[1], uiOptions = new int[1]; OS.GetSystemUIMode(uiMode, uiOptions); if (uiMode[0] != mode || uiOptions[0] != options) OS.SetSystemUIMode (mode, options); if (fullScreen) window.setFrame(fullScreenFrame, true); }
final Button b = new Button(controlsComposite, SWT.CHECK); b.setData(m); final boolean isPrimary = m.equals(d.getPrimaryMonitor()); b.setText(i + " " + m.getBounds().width + "x" + m.getBounds().height + (isPrimary ? " PRIMARY" : ""));
final Button b = new Button(controlsComposite, SWT.CHECK); b.setData(m); final boolean isPrimary = m.equals(d.getPrimaryMonitor()); b.setText(i + " " + m.getBounds().width + "x" + m.getBounds().height + (isPrimary ? " PRIMARY" : ""));
if (getShell().getDisplay().getPrimaryMonitor().equals(getShell().getMonitor())) { int dialogResponse = MessageDialog.open(MessageDialog.QUESTION, getShell(), WorkbenchMessages.Workbench_zoomChangedTitle,
if (getMonitor().equals(display.getPrimaryMonitor ())) { if (menuBar != null) { double /*float*/ menuBarHt = NSStatusBar.systemStatusBar().thickness();