} });
}); } catch (Exception e) { System.err.println(e); }
                    public void actionPerformed(ActionEvent evt) {                        d.setPosition(f, 0);                        if (f.isIconified()) {                            f.setIconified(false);                        }                        if (f.isClosed()) {                            f.setClosed(false);                        }                        /*                         * if some other frame is maximized, then we want                         * to toggle this maximization..                         */                        d.invite(new ComponentVisitor() {                                public void visit(SComponent c) {                                    if (! (c instanceof SInternalFrame))                                        return;                                    SInternalFrame ff = (SInternalFrame) c;                                    if (ff != frame && ff.isMaximized()) {                                        ff.setMaximized(false);                                        // set _our_ frame maximized, then.                                        frame.setMaximized(true);                                    }                                }                            });                    }