View Javadoc

1   /*
2    * This file is a part of CAST project.
3    * (c) Copyright 2007, AGH University of Science & Technology
4    * https://caribou.iisg.agh.edu.pl/trac/cast
5    *
6    * Licensed under the Eclipse Public License, Version 1.0 (the "License").
7    * You may not use this file except in compliance with the License.
8    * You may obtain a copy of the License at
9    * http://www.eclipse.org/legal/epl-v10.html
10   */
11  /*
12   * File: RectangleZoomToolEntry.java
13   * Created: Aug 19, 2009
14   * Author: Kamil
15   * $Id$
16   */
17  
18  package pl.edu.agh.cast.palette;
19  
20  import org.eclipse.gef.editparts.ZoomManager;
21  import org.eclipse.gef.palette.ToolEntry;
22  import org.eclipse.jface.resource.ImageDescriptor;
23  
24  import pl.edu.agh.cast.tool.OverviewRectangleTool;
25  
26  /**
27   *
28   * @author AGH CAST Team
29   */
30  public class RectangleZoomToolEntry extends ToolEntry {
31  
32  	/**
33  	 * @param label
34  	 * @param shortDesc
35  	 * @param iconSmall
36  	 * @param iconLarge
37  	 */
38  	public RectangleZoomToolEntry(String label, String shortDesc, ImageDescriptor iconSmall, ImageDescriptor iconLarge) {
39  		super(label, shortDesc, iconSmall, iconLarge);
40  		setToolClass(OverviewRectangleTool.class);
41  
42  	}
43  
44  	public void setZoomManager(ZoomManager manager) {
45  		setToolProperty(OverviewRectangleTool.ZOOM_MANAGER, manager);
46  	}
47  
48  }