334335336337338339340341342343344
if (view == this) { dispose(); minimizedView.setParent(workspace); // workspace.removeView(this); workspace.addView(minimizedView); workspace.invalidateLayout(); return; }
352353354355356357358359360361362
if (view == this) { dispose(); minimizedView.setParent(workspace); workspace.invalidateLayout(); workspace.addView(minimizedView); minimizedView.dispose(); return; }
333334335336337338339340341342343
351352353354355356357358359360361
335336337338339340341342343344345
353354355356357358359360361362363