Revision 28434 branches/v2_0_0_prep/extensions/extGazetteer/src/org/gvsig/gazetteer/GazetteerExtension.java
| GazetteerExtension.java | ||
|---|---|---|
| 59 | 59 |
*/ |
| 60 | 60 |
public class GazetteerExtension extends Extension {
|
| 61 | 61 |
private GazetteerLibrary gazetteerLibrary = null; |
| 62 |
|
|
| 62 |
|
|
| 63 | 63 |
public static void main(String[] args) {
|
| 64 | 64 |
} |
| 65 | 65 |
|
| ... | ... | |
| 78 | 78 |
PluginServices.getIconTheme().registerDefault( |
| 79 | 79 |
"gazetteer-search", |
| 80 | 80 |
this.getClass().getClassLoader().getResource( |
| 81 |
"images/GazzButton.png"));
|
|
| 81 |
"images/GazzButton.png")); |
|
| 82 | 82 |
} |
| 83 | 83 |
|
| 84 | 84 |
/* |
| ... | ... | |
| 135 | 135 |
servers = getDefaultServers(); |
| 136 | 136 |
} else {
|
| 137 | 137 |
ServerData[] newServers = new ServerData[servers.length |
| 138 |
+ getDefaultServers().length];
|
|
| 138 |
+ getDefaultServers().length];
|
|
| 139 | 139 |
System.arraycopy(servers, 0, newServers, 0, servers.length); |
| 140 | 140 |
System.arraycopy(getDefaultServers(), 0, newServers, |
| 141 | 141 |
servers.length, getDefaultServers().length); |
| ... | ... | |
| 194 | 194 |
*/ |
| 195 | 195 |
public boolean isVisible() {
|
| 196 | 196 |
com.iver.andami.ui.mdiManager.IWindow f = PluginServices |
| 197 |
.getMDIManager().getActiveWindow();
|
|
| 197 |
.getMDIManager().getActiveWindow(); |
|
| 198 | 198 |
|
| 199 | 199 |
if (f == null) {
|
| 200 | 200 |
return false; |
Also available in: Unified diff