void respondToResize() {
SIZE =
Math.min(
getContentPane().getHeight()
- settingsPanel.getPanel().getHeight()
- inputPanel.getPanel().getHeight(), // allow for buttons etc
getContentPane().getWidth())
- 30;
DEB.out(3, "new size is " + getContentPane().getHeight() + "," + getContentPane().getWidth());
DEB.out(3, "SIZE is " + SIZE);
redraw();
}
void populate_frame() {
getContentPane().add(inputPanel.getPanel(), BorderLayout.NORTH);
getContentPane().add(resultPanel.getPanel(), BorderLayout.CENTER);
getContentPane().add(settingsPanel.getPanel(), BorderLayout.SOUTH);
draw("");
}
