addPluginSeparatorIfNeeded(menu); addPluginItem(menu, s); addSorted = false;
addPluginSeparatorIfNeeded(menu); addPluginItem(menu, s); addSorted = false;
Menu parentMenu = getMenu(parentName); result = new Menu(menuItemName); addPluginSeparatorIfNeeded(parentMenu); if (readFromProps) result = addSubMenu(parentMenu, menuItemName);
Menu parentMenu = getMenu(parentName); result = new Menu(menuItemName); addPluginSeparatorIfNeeded(parentMenu); if (readFromProps) result = addSubMenu(parentMenu, menuItemName);
/** Inserts 'item' into 'menu' in alphanumeric order. */ static void addOrdered(Menu menu, MenuItem item) { String label = item.getLabel(); int start = addPluginSeparatorIfNeeded(menu); for (int i=start; i<menu.getItemCount(); i++) { if (label.compareTo(menu.getItem(i).getLabel())<0) { menu.insert(item, i); return; } } menu.add(item); }
/** Inserts 'item' into 'menu' in alphanumeric order. */ static void addOrdered(Menu menu, MenuItem item) { String label = item.getLabel(); int start = addPluginSeparatorIfNeeded(menu); for (int i=start; i<menu.getItemCount(); i++) { if (label.compareTo(menu.getItem(i).getLabel())<0) { menu.insert(item, i); return; } } menu.add(item); }