<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_jpoln8ect7dbn9kkfitq0jc7f0, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

cmodule NestedDesktopPane {
  transient JDesktopPane desktopPane;
  L<Win> windows = syncL();

  sclass Win {
    Rect rect;
    S title;
    transient JInternalFrame frame;
  }

  visualize {
    desktopPane = jDesktopPane();
    restoreFrames();
    ret withCenteredButtons(desktopPane,
      "Add frame", rThreadEnter addAFrame);
  }

  void unvisualize {
    super.unvisualize();
    for (Win win : windows) win.frame = null;
  }
  
  void addAFrame {
    JInternalFrame f = showInternalFrame(desktopPane, "Hello world");
    new Win win;
    win.rect = boundsAsRect(f);
    win.title = internalFrameTitle(f);
    win.frame = f;
    windows.add(win);
    onBoundsChange(f, r { grabRect(win) });
    change();
  }

  void restoreFrames {
    for (Win win : windows)
      win.frame = setBounds(win.rect, showInternalFrame(desktopPane, win.title));
  }

  void grabRect(Win win) {
    if (win != null && win.frame != null && set_trueIfChanged(win, rect := boundsAsRect(win.frame)))
      change();
  }
}