private Dimension makeLocationForVizComponent(int i) {
Dimension currentVisualizerPanelSize = parentPanel.getSize();
double width = currentVisualizerPanelSize.getWidth() - 10;
double height = currentVisualizerPanelSize.getHeight() - 20;
double startX = 5 + width * positions.get(i).getX();
double startY = 16 + height * positions.get(i).getY();
Dimension d = new Dimension();
d.setSize(startX, startY);
return d;
}
private Dimension makeSizeForVizComponent(int i) {
Dimension currentVisualizerPanelSize = parentPanel.getSize();
double width = currentVisualizerPanelSize.getWidth() - 10;
double height = currentVisualizerPanelSize.getHeight() - 20;
double scaledWidth = width * sizes.get(i).getX();
double scaledHeight = height * sizes.get(i).getY();
Dimension d = new Dimension();
d.setSize(scaledWidth, scaledHeight);
return d;
}
private synchronized void resizeImages() {
Dimension currentVisualizerPanelSize = parentPanel.getSize();
// BK: create correctly sized images but don't redraw yet
productionEnvImage =
new BufferedImage(
(int) currentVisualizerPanelSize.getWidth(),
(int) currentVisualizerPanelSize.getHeight(),
BufferedImage.TYPE_INT_ARGB);
bufferEnvImage =
new BufferedImage(
(int) currentVisualizerPanelSize.getWidth(),
(int) currentVisualizerPanelSize.getHeight(),
BufferedImage.TYPE_INT_ARGB);
for (int i = 0; i < theRenderObjects.size(); i++) {
theRenderObjects.get(i).receiveSizeChange(makeSizeForVizComponent(i));
}
}
