savetool.java~16~

来自「一个很有特点的地图平台,可以以动画方试展现电子地图,有拉近,拉远,滑动功能,最主」· JAVA~16~ 代码 · 共 45 行

package mapcenter.maptools;

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import mapcenter.weihu.*;

public class SaveTool extends MapTool{

  public SaveTool() {
    super("/image/link1.gif","/image/link1.gif","保存","保存工具",'O');
  }

  public void actionPerformed(ActionEvent evt) {
    try{
      super.actionPerformed(evt);
      String mapPath = mapView.getMapHandle().getMapPath();
      String extension = ExtensionFilter.getExtension(mapPath);
      if(extension.equals("gst"))return;
      double zoom = mapView.getMapHandle().getMapJ().getZoom();
      mapView.getMapHandle().getMapJ().setZoom(zoom/3);
      mapView.getMapHandle().getMapJ().saveMapDefinition(mapPath);
      mapView.getMapHandle().getMapJ().setZoom(zoom);
    }catch(Exception e){log.error(e);}
  }

  //============= MouseListener接口实现 =============
  public void mouseEntered(MapMouse evt) {}
  public void mouseExited(MapMouse evt) {}
  public void mousePressed(MapMouse evt) {}
  public void mouseReleased(MapMouse evt) {}
  public void mouseDragged(MapMouse evt) {}
  public void mouseMoved(MapMouse evt) {}
  public void mouseClicked(MapMouse evt) {}
  //============= KeyListener接口实现 =============
  public void keyTyped(KeyEvent evt) {}
  public void keyPressed(KeyEvent evt) {}
  public void keyReleased(KeyEvent evt) { }
  //============= MapPainter接口实现 ===============
  public void paintOnMap(Graphics g) { }
  //============= ToolTipTextSetter接口实现 ========
  public String getToolTipText(MapMouse evt) {return "保存";}

}