/** LinesPanel constructor comment. */
  public void paintBuffer(java.awt.Graphics g) {
    //	Color c = g.getColor();
    //	g.setColor(Color.black);
    boxes.paint(g);
    //	g.setColor(Color.darkGray);
    connections.paint(g);
    //	g.setColor(c);
    Item.highlighted.paint(g);

    if (connecting) g.drawLine(x1, y1, x2, y2);
  }