void fixActiveShell () { if (display.activeShell == this) { Shell shell = null; if (parent != null && parent.isVisible ()) shell = parent.getShell (); if (shell == null && isUndecorated ()) { Shell [] shells = display.getShells (); for (int i = 0; i < shells.length; i++) { if (shells [i] != null && shells [i].isVisible ()) { shell = shells [i]; break; } } } if (shell != null) shell.bringToTop (false); } }
void fixActiveShell () { if (display.activeShell == this) { Shell shell = null; if (parent != null && parent.isVisible ()) shell = parent.getShell (); if (shell == null && isUndecorated ()) { Shell [] shells = display.getShells (); for (int i = 0; i < shells.length; i++) { if (shells [i] != null && shells [i].isVisible ()) { shell = shells [i]; break; } } } if (shell != null) shell.bringToTop (false); } }
void fixActiveShell () { if (display.activeShell == this) { Shell shell = null; if (parent != null && parent.isVisible ()) shell = parent.getShell (); if (shell == null && isUndecorated ()) { Shell [] shells = display.getShells (); for (int i = 0; i < shells.length; i++) { if (shells [i] != null && shells [i].isVisible ()) { shell = shells [i]; break; } } } if (shell != null) shell.bringToTop (false); } }
void updateMinimized (boolean minimized) { Shell[] shells = getShells (); for (int i = 0; i < shells.length; i++) { boolean update = false; Shell shell = shells[i]; while (shell != null && shell != this && !shell.isUndecorated ()) { shell = (Shell) shell.getParent (); } if (shell != null && shell != this) update = true; if (update) { if (minimized) { if (shells[i].isVisible ()) { shells[i].showWithParent = true; OS.gtk_widget_hide(shells[i].shellHandle); } } else { if (shells[i].showWithParent) { shells[i].showWithParent = false; OS.gtk_widget_show(shells[i].shellHandle); } } } } }
void updateMinimized (boolean minimized) { Shell[] shells = getShells (); for (int i = 0; i < shells.length; i++) { boolean update = false; Shell shell = shells[i]; while (shell != null && shell != this && !shell.isUndecorated ()) { shell = (Shell) shell.getParent (); } if (shell != null && shell != this) update = true; if (update) { if (minimized) { if (shells[i].isVisible ()) { shells[i].showWithParent = true; OS.gtk_widget_hide(shells[i].shellHandle); } } else { if (shells[i].showWithParent) { shells[i].showWithParent = false; OS.gtk_widget_show(shells[i].shellHandle); } } } } }
void updateMinimized (boolean minimized) { Shell[] shells = getShells (); for (int i = 0; i < shells.length; i++) { boolean update = false; Shell shell = shells[i]; while (shell != null && shell != this && !shell.isUndecorated ()) { shell = (Shell) shell.getParent (); } if (shell != null && shell != this) update = true; if (update) { if (minimized) { if (shells[i].isVisible ()) { shells[i].showWithParent = true; OS.gtk_widget_hide(shells[i].shellHandle); } } else { if (shells[i].showWithParent) { shells[i].showWithParent = false; OS.gtk_widget_show(shells[i].shellHandle); } } } } }