📄 windowsmenucommand.java
字号:
package ergo.ui;
/// $Id: WindowsMenuCommand.java,v 1.2 1999/08/25 07:52:27 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 java.awt.Frame;
import java.awt.MenuShortcut;
/**
* The WindowsMenuCommand interface is implemented by objects that can appear on
* the Windows menu. They appear in the order specified by menuPriority(),
* with smaller numbers closest to the top of the menu.
* @version $Revision: 1.2 $ - $Date: 1999/08/25 07:52:27 $
*/
public interface WindowsMenuCommand {
/** The string to be displayed in the menu item. If null, then this is just a separator. */
String menuString ();
/** Get a MenuShortcut object. If null, no shortcut will be assigned. */
MenuShortcut menuShortcut ();
/** Priority of this command. Lower numbers are higher in the menu. */
int menuPriority ();
/** Called when this command has been selected from the menu.
* @param Frame The frame from which this command was selected. May be null.
*/
void menuSelect (Frame f);
/** The class of window this command applies to.
* If null, then this command applies to all window classes. */
Class appliesTo ();
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -