return false;
}
};
LayoutManager overlay = new OverlayLayout(pBox);
pBox.setLayout(overlay);
<BUG>zoom(rect);
content.setBorder(coloredSide(TOP, Color.RED));
pBox.add(content);</BUG>
box.add(pBox);
box.pack();

return false;
}
};
LayoutManager overlay = new OverlayLayout(pBox);
pBox.setLayout(overlay);
resizeToFrame();
dirty = false;
content.setBorder(coloredSide(TOP));
pBox.add(content);
box.add(pBox);
box.pack();
