📄 opentool.java~28~
字号:
package mapcenter.maptools;
import java.io.*;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import mapcenter.weihu.*;
public class OpenTool extends MapTool{
public OpenTool() {
super("/image/link1.gif","/image/link1.gif","打开","打开工具",'O');
}
public void actionPerformed(ActionEvent evt) {
super.actionPerformed(evt);
JFileChooser fileChooser = new JFileChooser();
fileChooser.setDialogTitle("打开地图");
String[] extenName = {"gst","mdf"};
fileChooser.setFileFilter(new ExtensionFilter("gst,mdf文件",extenName));
fileChooser.setFileHidingEnabled(false);
int returnVal = fileChooser.showOpenDialog(mapView.getParent());
if(returnVal != JFileChooser.APPROVE_OPTION)return;
File file = fileChooser.getSelectedFile();
String extension = ExtensionFilter.getExtension(file);
try{
if(extension.equals("gst")){
mapView.getMapHandle().getMapJ().loadGeoset(file.getPath(),file.getParent(),null);
}else if(extension.equals("mdf")){
mapView.getMapHandle().getMapJ().loadMapDefinition(file.getPath());
}
}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 + -