📄 jremextensionenv.java
字号:
/* * JRemCntl - Copyright (C) 2007 Filippo Di Vattimo <fildiv@gmail.com> * See COPYING */package fildiv.jremcntl.server.core;import fildiv.jremcntl.common.core.Logger;public class JRemExtensionEnv implements Environment { private JRemEnv env; protected JRemExtensionEnv() { this.env = JRemEnv.getInstance(); } public String getApplicationName() { return env.getApplicationName(); } public String getBaseDirPath() { return env.getBaseDirPath(); } public String getConfigDirPath() { return env.getConfigDirPath(); } public String getExtDirPath() { return env.getExtDirPath(); } public Settings getSettings() { throw new UnsupportedOperationException(); } public boolean isLogEnabled() { return env.isLogEnabled(); } public Logger getLogger() { return env.getLogger(); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -