}
public void actionPerformed(ActionEvent event) {
Document doc = getDocument();
ScaleModel model = doc.getScaleModel();
model.scaleDown();
}
public void scaleChanged(Scale scale) {
Document doc = getDocument();
ScaleModel model = doc.getScaleModel();