private void checkSizes() {
Dimension vsz = scroll_pane.getViewport().getViewSize();
Dimension csz = draw_area.getSize();
Dimension nsz = new Dimension((int) (vsz.width * x_scale), (int) (vsz.height * y_scale));
boolean chng = false;
if (nsz.width > csz.width) {
if (vsz.width >= csz.width) {
csz.width = vsz.width;
chng = true;
x_scale = 1;
}
} else if (nsz.width < csz.width) {
if (x_scale == 1) {
csz.width = vsz.width;
chng = true;
}
}
if (nsz.height > csz.height) {
if (vsz.height >= csz.height) {
csz.height = vsz.height;
chng = true;
y_scale = 1;
}
} else if (nsz.height < csz.height) {
if (y_scale == 1) {
csz.height = vsz.height;
chng = true;
}
}
if (chng) draw_area.setSize(csz);
}
/** ***************************************************************************** */
private void setupPanel() {
draw_area = new HistoryPanel();
scroll_pane = new JScrollPane(draw_area);
Dimension d = new Dimension(BDDT_HISTORY_WIDTH, BDDT_HISTORY_HEIGHT);
draw_area.setPreferredSize(d);
draw_area.setSize(d);
setContentPane(scroll_pane);
}
