rmacustomizer.java
来自「java实现的P2P多agent中间件」· Java 代码 · 共 12 行
JAVA
12 行
package jade.tools.rma;
/**
* Base class for all RMA customizers. An RMA customizer is an obiect that allows customizing the
* RMA GUI. When the RMA starts up it automatically loads all classes extending this base class and
* included in the jade.tools.rma.customizers package and uses them to customize its GUI.
*/
public class RMACustomizer {
}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?