return;
}
+ // Whatever window might be moving/dragging, stop it now.
+ for (TWindow w: windows) {
+ if (w.inMovements()) {
+ w.stopMovements();
+ }
+ }
+
assert (windows.size() > 0);
if (window.isHidden()) {
return;
}
+ // Whatever window might be moving/dragging, stop it now.
+ for (TWindow w: windows) {
+ if (w.inMovements()) {
+ w.stopMovements();
+ }
+ }
+
assert (windows.size() > 0);
if (!window.hidden) {
return;
}
+ // Whatever window might be moving/dragging, stop it now.
+ for (TWindow w: windows) {
+ if (w.inMovements()) {
+ w.stopMovements();
+ }
+ }
+
assert (windows.size() > 0);
if (window.hidden) {
}
synchronized (windows) {
+ // Whatever window might be moving/dragging, stop it now.
+ for (TWindow w: windows) {
+ if (w.inMovements()) {
+ w.stopMovements();
+ }
+ }
+
int z = window.getZ();
window.setZ(-1);
window.onUnfocus();
assert (activeWindow != null);
synchronized (windows) {
+ // Whatever window might be moving/dragging, stop it now.
+ for (TWindow w: windows) {
+ if (w.inMovements()) {
+ w.stopMovements();
+ }
+ }
// Swap z/active between active window and the next in the list
int activeWindowI = -1;
}
synchronized (windows) {
+ // Whatever window might be moving/dragging, stop it now.
+ for (TWindow w: windows) {
+ if (w.inMovements()) {
+ w.stopMovements();
+ }
+ }
+
// Do not allow a modal window to spawn a non-modal window. If a
// modal window is active, then this window will become modal
// too.