1 | if(sort)↵ | | 1 | if(sort)↵
|
2 | {↵ | | 2 | {↵
|
3 | MiscUtilities.quicksort(menuItems,↵ | | 3 | MiscUtilities.quicksort(menuItems,↵
|
4 | new MiscUtilities.MenuItemCompare());↵ | | 4 | new MiscUtilities.MenuItemCompare());↵
|
5 | for(int i = 0; i < menuItems.size(); i++)↵ | | 5 | for(int i = 0; i < menuItems.size(); i++)↵
|
6 | {↵ | | 6 | {↵
|
7 | if(menu.getMenuComponentCount() >= maxItems↵ | | 7 | if(menu.getMenuComponentCount() >= maxItems↵
|
8 | && i != 0)↵ | | 8 | && i != 0)↵
|
9 | {↵ | | 9 | {↵
|
10 | JMenu newMenu = new JMenu(↵ | | 10 | JMenu newMenu = new JMenu(↵
|
11 | jEdit.getProperty("common.more"));↵ | | 11 | jEdit.getProperty("common.more"));↵
|
12 | menu.add(newMenu);↵ | | 12 | menu.add(newMenu);↵
|
13 | menu = newMenu;↵ | | 13 | menu = newMenu;↵
|
14 | }↵ | | 14 | }↵
|
|
15 | menu.add((JMenuItem)menuItems.elementAt(i));↵ | | 15 | menu.add((JMenuItem)menuItems.elementAt(i));↵
|
16 | | | 16 |
|