Statistics
| Revision:

svn-gvsig-desktop / trunk / org.gvsig.desktop / org.gvsig.desktop.plugin / org.gvsig.geometry.app / org.gvsig.geometry.app.jts / src / main / java / org / gvsig / geometry / app / jts / FlatnessExtension.java @ 42284

History | View | Annotate | Download (1.34 KB)

1
package org.gvsig.geometry.app.jts;
2

    
3
import org.gvsig.andami.IconThemeHelper;
4
import org.gvsig.andami.plugins.Extension;
5
import org.gvsig.fmap.geom.GeometryLocator;
6
import org.gvsig.fmap.geom.GeometryManager;
7
import org.gvsig.tools.ToolsLocator;
8
import org.gvsig.tools.extensionpoint.ExtensionPoint;
9
import org.gvsig.tools.extensionpoint.ExtensionPointManager;
10

    
11

    
12
public class FlatnessExtension extends Extension {
13

    
14
    public void initialize() {
15
        IconThemeHelper.registerIcon("preferences", "preferences-layer-modify-flatness", this);
16

    
17
        Double flatness =
18
            (Double) getPlugin().getPluginProperties().getDynValue("flatness");
19
        GeometryManager geomManager = GeometryLocator.getGeometryManager();
20
        geomManager.setFlatness(flatness.doubleValue());
21
    }
22

    
23
    public void execute(String actionCommand) {
24
        // TODO Auto-generated method stub
25

    
26
    }
27

    
28
    public boolean isEnabled() {
29
        // TODO Auto-generated method stub
30
        return false;
31
    }
32

    
33
    public boolean isVisible() {
34
        // TODO Auto-generated method stub
35
        return false;
36
    }
37

    
38
    public void postInitialize() {
39
        ExtensionPointManager extensionPoints =
40
            ToolsLocator.getExtensionPointManager();
41
        ExtensionPoint ep = extensionPoints.add("AplicationPreferences", "");
42
        ep.append("Flatness", "", new FlatnessPage());
43
    }
44

    
45
}