📄 jremproperties.java
字号:
/* * JRemCntl - Copyright (C) 2007 Filippo Di Vattimo <fildiv@gmail.com> * See COPYING */package fildiv.jremcntl.server.core;public class JRemProperties { public static final String PROP_NAME = "name"; public static final String PROP_VALUE = "value"; public static final String PROP_ID = "id"; public static final String PROP_BASE_DIR = "baseDir"; public static final String PROP_DESCRIPTION = "description"; public static final String PROP_DEF_VIEW = "defview"; public static final String PROP_MOBILE_KEY = "key"; public static final String PROP_EXE_PATH = "exepath"; public static final String PROP_QUESTION = "question"; public static final String PROP_CLASS_NAME = "className"; public static final String PROP_ON_CONNECT = "onConnect"; public static final String PROP_ON_DISCONNECT = "onDisconnect"; public static String getString(JRemPropertyManager pm, String name) { String value = (String) pm.getPropertyValue(name); if (value == null) return ""; return value; } public static short getShort(JRemPropertyManager pm, String name) { Short value = (Short) pm.getPropertyValue(name); if (value == null) return (short) 0; return value.shortValue(); } public static int getInt(JRemPropertyManager pm, String name) { Integer value = (Integer) pm.getPropertyValue(name); if (value == null) return 0; return value.intValue(); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -