📄 toggleimagesize.java
字号:
package org.wfp.vam.intermap.services.map;import org.jdom.*;import jeeves.interfaces.*;import jeeves.server.*;import jeeves.server.context.*;import org.wfp.vam.intermap.Constants;//=============================================================================/** main.result service. shows search results */public class ToggleImageSize implements Service{ public void init(String appPath, ServiceConfig config) throws Exception {} //-------------------------------------------------------------------------- //--- //--- Service //--- //-------------------------------------------------------------------------- public Element exec(Element params, ServiceContext context) throws Exception { String size = (String)context.getUserSession().getProperty(Constants.SESSION_SIZE); if (size.equals("small")) context.getUserSession().setProperty(Constants.SESSION_SIZE, "big"); else context.getUserSession().setProperty(Constants.SESSION_SIZE, "small"); // Get the current image size from the user session int width = MapUtil.getImageWidth(context); int height = MapUtil.getImageHeight(context); return new Element("response") .addContent(new Element("width").setText("" + width)) .addContent(new Element("height").setText("" + height)); } }//=============================================================================
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -