raplamenu.java
来自「Rapla是一个灵活的多用户资源管理系统。它提供的一些功能有:日历GUI」· Java 代码 · 共 85 行
JAVA
85 行
/*--------------------------------------------------------------------------*
| Copyright (C) 2006 Christopher Kohlhaas |
| |
| This program is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by the |
| Free Software Foundation. A copy of the license has been included with |
| these distribution in the COPYING file, if not go to www.fsf.org |
| |
| As a special exception, you are granted the permissions to link this |
| program with every library, which license fulfills the Open Source |
| Definition as published by the Open Source Initiative (OSI). |
*--------------------------------------------------------------------------*/
package org.rapla.gui.toolkit;
import java.awt.Component;
import javax.swing.JComponent;
import javax.swing.JMenu;
public class RaplaMenu extends JMenu implements IdentifiableMenuEntry, MenuInterface {
private static final long serialVersionUID = 1L;
String id;
public RaplaMenu(String id) {
super();
this.id = id;
}
public String getId() {
return id;
}
private int getIndexOfEntryWithId(String id) {
int size = getMenuComponentCount();
for ( int i=0;i< size;i++)
{
Component component = getMenuComponent( i );
if ( component instanceof IdentifiableMenuEntry) {
IdentifiableMenuEntry comp = (IdentifiableMenuEntry) component;
if ( id != null && id.equals( comp.getId() ) )
{
return i;
}
}
}
return -1;
}
public void removeAllBetween(String startId, String endId) {
int startIndex = getIndexOfEntryWithId( startId );
int endIndex = getIndexOfEntryWithId( endId);
if ( startIndex < 0 || endIndex < 0 )
return;
for ( int i= startIndex + 1; i< endIndex ;i++)
{
remove( startIndex + 1);
}
}
public boolean hasId(String id) {
return getIndexOfEntryWithId( id )>=0;
}
public void insertAfterId(Component component,String id) {
if ( id == null) {
getPopupMenu().add( component );
} else {
int index = getIndexOfEntryWithId( id ) ;
getPopupMenu().insert( component, index + 1);
}
}
public void insertBeforeId(JComponent component,String id) {
int index = getIndexOfEntryWithId( id );
getPopupMenu().insert( component, index);
}
}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?