📄 storagemenubar.java
字号:
//$Id: StorageMenubar.java,v 1.2 2000/10/28 16:55:18 daniela Exp $package org.ozoneDB.core.monitor;import org.ozoneDB.DxLib.*;import java.awt.*;import java.awt.event.*;import java.util.*;import java.io.*;/** * @version $Id: StorageMenubar.java,v 1.2 2000/10/28 16:55:18 daniela Exp $ * @author softwarebuero m&b */public class StorageMenubar extends MenuBar { /** */ public StorageMenubar( ActionListener listener ) { Menu menu; menu = new Menu( "Server" ); menu.addSeparator(); addMenuItem( menu, "STOP", listener ); add( menu ); menu = new Menu( "Help" ); addMenuItem( menu, "About...", listener ); add( menu ); setHelpMenu( menu ); } /** */ private void addMenuItem( Menu menu, String orgName, ActionListener listener ) { String name = orgName; int pos = name.indexOf( '&' ); MenuShortcut shortcut = null; MenuItem mitem; if (pos != -1) { if (pos < (name.length() - 1)) { char c = name.charAt( pos + 1 ); shortcut = new MenuShortcut( Character.toLowerCase( c ) ); name = name.substring( 0, pos ) + name.substring( pos + 1 ); } } if (shortcut != null) { mitem = new MenuItem( name, shortcut ); } else { mitem = new MenuItem( name ); } mitem.setActionCommand( orgName ); mitem.addActionListener( listener ); menu.add( mitem ); } /** */ private String cleanLabel( String name ) { int pos = name.indexOf( '&' ); if (pos != -1) { if (pos < (name.length() - 1)) { name = name.substring( 0, pos ) + name.substring( pos + 1 ); } } return name; } /** */ public void enableItem( String menuLabel, String itemLabel, boolean enable ) { Menu menu = null; for (int i = 0; i < getMenuCount(); i++) { if (getMenu( i ).getLabel().equals( menuLabel )) { menu = getMenu( i ); break; } } if (menu == null) { return; } for (int i = 0; i < menu.getItemCount(); i++) { if (menu.getItem( i ).getLabel().equals( itemLabel )) { menu.getItem( i ).setEnabled( enable ); break; } } } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -