📄 jfoperationzoom.java
字号:
/**
* $Id:JFOperationZoom.java $
*
* Copyright 2004 ~ 2005 JingFei International Cooperation LTD. All rights reserved. *
*/
package com.jfimagine.jfgraph.shape.action;
import java.util.List;
import java.util.ArrayList;
import java.util.Iterator;
import com.jfimagine.jfgraph.geom.JFPoint;
import com.jfimagine.jfgraph.shape.base.AbstractObject;
import com.jfimagine.jfgraph.shape.base.AbstractShape;
import com.jfimagine.jfgraph.shape.base.Label;
import com.jfimagine.jfgraph.shape.union.JFPage;
/**
* Class JFOperationZoom is used to record a zoom operation.
*/
public class JFOperationZoom extends JFOperation{
/**old and new zoom scale*/
private double m_oldZoomScale=1;
private double m_newZoomScale=1;
/**
* Constructor.
* @param page A page that used to do opeation.
* @param oldZoomScale Old zoom scale.
* @param newZoomScale New zoom scale.
*/
public JFOperationZoom(JFPage page,double oldZoomScale, double newZoomScale){
m_page =page;
setActionId(JFOperation.OPER_ZOOM);
m_oldZoomScale =oldZoomScale;
m_newZoomScale =newZoomScale;
}
/** undo this operation
* @return new objects selected
*/
public List undo(){
m_page.setZoomScale(m_oldZoomScale);
return null;
}
/** redo this operation
* @return new objects selected
*/
public List redo(){
m_page.setZoomScale(m_newZoomScale);
return null;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -