⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 zoomoutaction2.java

📁 jboss规则引擎
💻 JAVA
字号:
package org.drools.ide.editors;

/*
 * Copyright 2006 JBoss Inc
 * 
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *      http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

import org.eclipse.draw2d.ScalableFigure;
import org.eclipse.gef.editparts.ZoomManager;
import org.eclipse.gef.ui.actions.ZoomOutAction;

/**
 * Similar to ZoomOutAction but adds setZoomManager(..) functionality.
 * 
 * ZoomOutAction2 provides default constructor for initializing
 * ZoomOutAction without the need for ZoomManager.
 * 
 * Please note that ZoomOutAction2 is not very functional until it has
 * correct zoomManager set by setZoomManager(ZoomManager manager).<br/>
 * 
 * setZoomManager(ZoomManager manager) can be used several times.
 * 
 * @author Ahti Kitsik
 *
 */
public class ZoomOutAction2 extends ZoomOutAction {

    final private static ZoomManager FAKE_ZOOM_MANAGER = new ZoomManager( (ScalableFigure) null,
                                                                          null );

    /**
     * Default constructor to allow ZoomOutActions without specified
     * ZoomManager.
     */
    public ZoomOutAction2() {
        super( FAKE_ZOOM_MANAGER );
    }

    /**
     * Replaces existing zoomManager with the new one.
     * 
     * Implementation is null-safe.
     * 
     * @param newManager new zoom manager
     */
    public void setZoomManager(ZoomManager manager) {

        if ( zoomManager != null ) {
            zoomManager.removeZoomListener( this );
        }

        zoomManager = manager;

        if ( zoomManager != null ) {
            zoomManager.addZoomListener( this );
        }

    }

}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -