📄 saveastool.java
字号:
package mapcenter.maptools;
import java.io.*;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import mapcenter.weihu.*;
public class SaveAsTool extends MapTool{
public SaveAsTool() {
super("/image/link1.gif","/image/link1.gif","另存","另存工具",'O');
}
public void actionPerformed(ActionEvent evt) {
try{
super.actionPerformed(evt);
JFileChooser fileChooser = new JFileChooser();
fileChooser.setDialogTitle("另存地图为");
String[] extenName = {"mdf"};
fileChooser.setFileFilter(new ExtensionFilter("地图定义文件(*.mdf)",extenName));
fileChooser.setFileHidingEnabled(false);
fileChooser.setSelectedFile(new File(".mdf"));
int returnVal = fileChooser.showSaveDialog(mapView.getParent());
if(returnVal != JFileChooser.APPROVE_OPTION)return;
String mapPath = fileChooser.getSelectedFile().getPath();
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 "另存";}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -