mapjextend.java~23~
来自「一个很有特点的地图平台,可以以动画方试展现电子地图,有拉近,拉远,滑动功能,最主」· JAVA~23~ 代码 · 共 20 行
JAVA~23~
20 行
package mapcenter.weihu;
import com.mapinfo.beans.vmapj.*;
import mapcenter.service.*;
import mapcenter.weihu.*;
public class MapJExtend extends VisualMapJ{
private static final Log log = LogFactory.getLog("WebGIS");
private static MapJExtend instance;
public static MapJExtend getInstance(){
if(instance == null) instance = new MapJExtend();
return instance;
}
private MapJExtend() {
this.setShowToolTips(true);
}
}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?