ArrayList
containing all the shapes to draw.
*/
private static ArrayList
* This class implements both MouseListener
and
@@ -68,7 +69,6 @@ public class ScaleScrollPane extends JScrollPane
* Create a scale scroll pane.
*
* @param component the component to contain (must implement ScaleFigure)
- * @param allowFit whether automatic fitting of the figure is allowed
*/
public ScaleScrollPane(final JComponent component) {
super(component);
@@ -148,12 +148,12 @@ public class ScaleScrollPane extends JScrollPane
this.fit = shouldFit;
if (shouldFit) {
validate();
-
- Dimension view = viewport.getExtentSize();
- figure.scaleTo(view);
- this.firePropertyChange( USER_SCALE_PROPERTY, 1.0, figure.getUserScale());
- revalidate();
+ Dimension view = viewport.getExtentSize();
+ figure.scaleTo(view);
+
+ this.firePropertyChange( USER_SCALE_PROPERTY, 1.0, figure.getUserScale());
+ revalidate();
}
}
@@ -286,23 +286,23 @@ public class ScaleScrollPane extends JScrollPane
}
private double fromPx(final int px) {
- Dimension origin = figure.getSubjectOrigin();
+ final Point origin = figure.getSubjectOrigin();
double realValue = Double.NaN;
if (orientation == HORIZONTAL) {
- realValue = px - origin.width;
+ realValue = px - origin.x;
} else {
- realValue = origin.height - px;
+ realValue = origin.y - px;
}
return realValue / figure.getAbsoluteScale();
}
private int toPx(final double value) {
- final Dimension origin = figure.getSubjectOrigin();
+ final Point origin = figure.getSubjectOrigin();
final int px = (int) (value * figure.getAbsoluteScale() + 0.5);
if (orientation == HORIZONTAL) {
- return (px + origin.width);
+ return (px + origin.x);
} else {
- return (origin.height - px);
+ return (origin.y - px);
}
}