Revision 42173 trunk/org.gvsig.desktop/org.gvsig.desktop.plugin/org.gvsig.app/org.gvsig.app.mainplugin/src/main/java/org/gvsig/app/extension/ZoomPrev.java
ZoomPrev.java | ||
---|---|---|
32 | 32 |
|
33 | 33 |
/** |
34 | 34 |
* Extensi?n que cambia el extent de la vista al extent anterior. |
35 |
* |
|
36 | 35 |
*/ |
37 | 36 |
public class ZoomPrev extends Extension { |
38 | 37 |
|
39 |
public void postInitialize() { |
|
40 |
} |
|
38 |
public void postInitialize() {} |
|
41 | 39 |
|
42 |
public void initialize() {
|
|
43 |
IconThemeHelper.registerIcon("action", "view-navigation-zoom-back", this);
|
|
44 |
}
|
|
40 |
public void initialize() { |
|
41 |
IconThemeHelper.registerIcon("action", "view-navigation-zoom-back", this); |
|
42 |
} |
|
45 | 43 |
|
46 |
public boolean isEnabled() {
|
|
47 |
ApplicationManager application = ApplicationLocator.getManager();
|
|
44 |
public boolean isEnabled() { |
|
45 |
ApplicationManager application = ApplicationLocator.getManager(); |
|
48 | 46 |
|
49 |
IView view = (IView) application.getActiveComponent(ViewDocument.class); |
|
50 |
if (view == null) { |
|
51 |
return false; |
|
52 |
} |
|
53 |
ViewDocument document = view.getViewDocument(); |
|
54 |
ViewPort vp = document.getMapContext().getViewPort(); |
|
55 |
return vp.getEnvelopes().hasPrevious(); |
|
47 |
IView view = (IView) application.getActiveComponent(ViewDocument.class); |
|
48 |
if (view == null) { |
|
49 |
return false; |
|
56 | 50 |
} |
51 |
ViewDocument document = view.getViewDocument(); |
|
52 |
ViewPort vp = document.getMapContext().getViewPort(); |
|
53 |
return vp.getEnvelopes().hasPrevious(); |
|
54 |
} |
|
57 | 55 |
|
58 |
public boolean isVisible() {
|
|
59 |
ApplicationManager application = ApplicationLocator.getManager();
|
|
56 |
public boolean isVisible() { |
|
57 |
ApplicationManager application = ApplicationLocator.getManager(); |
|
60 | 58 |
|
61 |
IView view = (IView) application.getActiveComponent(ViewDocument.class); |
|
62 |
if (view == null) { |
|
63 |
return false; |
|
64 |
} |
|
65 |
ViewDocument document = view.getViewDocument(); |
|
66 |
return document.getMapContext().getLayers().getLayersCount() > 0; |
|
59 |
IView view = (IView) application.getActiveComponent(ViewDocument.class); |
|
60 |
if (view == null) { |
|
61 |
return false; |
|
67 | 62 |
} |
63 |
ViewDocument document = view.getViewDocument(); |
|
64 |
return document.getMapContext().getLayers().getLayersCount() > 0; |
|
65 |
} |
|
68 | 66 |
|
69 |
public void execute(String arg0) {
|
|
70 |
ApplicationManager application = ApplicationLocator.getManager();
|
|
67 |
public void execute(String arg0) { |
|
68 |
ApplicationManager application = ApplicationLocator.getManager(); |
|
71 | 69 |
|
72 |
IView view = (IView) application.getActiveComponent(ViewDocument.class); |
|
73 |
if (view == null) { |
|
74 |
return; |
|
75 |
} |
|
76 |
ViewDocument document = view.getViewDocument(); |
|
77 |
ViewPort vp = document.getMapContext().getViewPort(); |
|
78 |
|
|
79 |
vp.setPreviousEnvelope(); |
|
80 |
document.setModified(true); |
|
81 |
ApplicationLocator.getManager().refreshMenusAndToolBars(); |
|
70 |
IView view = (IView) application.getActiveComponent(ViewDocument.class); |
|
71 |
if (view == null) { |
|
72 |
return; |
|
82 | 73 |
} |
74 |
ViewDocument document = view.getViewDocument(); |
|
75 |
ViewPort vp = document.getMapContext().getViewPort(); |
|
83 | 76 |
|
77 |
vp.setPreviousEnvelope(); |
|
78 |
document.setModified(true); |
|
79 |
|
|
80 |
ApplicationLocator.getManager().refreshMenusAndToolBars(); |
|
81 |
} |
|
82 |
|
|
84 | 83 |
} |
Also available in: Unified diff