public void mouseWheelMoved(MouseWheelEvent e) {
if (e.isControlDown()) {
if (e.getWheelRotation() < 0) {
getEditor().ZoomMais();
} else {
getEditor().ZoomMenos();
}
e.consume();
}
}
Diagrama.java 文件源码
java
阅读 32
收藏 0
点赞 0
评论 0
项目:brModelo
作者:
评论列表
文章目录