📄 command.java
字号:
package ergo.ui;
// $Id: Command.java,v 1.3 1999/08/27 03:07:55 sigue Exp $
/*
* Copyright (C) 1999 Carl L. Gay and Antranig M. Basman.
* See the file copyright.txt, distributed with this software,
* for further information.
*/
import ergo.util.Debug;
/** The abstract notion of a command.
*/
public interface Command {
/** Execute a command. The argument can be used to pass anything useful along
* to the command.
*/
void executeCommand (Object arg);
String getName ();
void setName (String name);
/** A command can't be invoked if it is disabled.
*/
void setEnabled (boolean enabled);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -