!7

static Canvas canvas;
static CirclesAndLines cal;

p-subst {
  Pair<CirclesAndLines, Canvas> p = showWeb(randomWeb(), 800, 600);
  cal = p.a;
  canvas = p.b;
  doFrameTitle();
  addButtonsToWindow2(canvas, "Comment", f comment, "Next", r {
    CirclesAndLines newCAL = webToCAL(randomWeb());
    canvas = showCAL_2(cal, newCAL, canvas);
    doFrameTitle();
  });
  focusButton(canvas, "Next");
}

svoid doFrameTitle {
  frameTitle(canvas, joinNempties(" - ", cal.globalID, quoteIfNempty(cal.title)));
}

svoid comment {
  canvas.setZoom(0.5);
  
  JFrame f = getFrame(canvas);
  Container cp = f.getContentPane();
  
  new JPanel newCP;
  newCP.setLayout(null);
  newCP.add(cp);
  cp.setBounds(100, 100, 200, 200);
  
  f.setContentPane(newCP);
  revalidate(f);
}