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 + -
显示快捷键?