(Menu menu)
| 736 | } |
| 737 | |
| 738 | static int addPluginSeparatorIfNeeded(Menu menu) { |
| 739 | if (menuSeparators == null) |
| 740 | return 0; |
| 741 | Integer i = (Integer)menuSeparators.get(menu); |
| 742 | if (i == null) { |
| 743 | if (menu.getItemCount() > 0) |
| 744 | addSeparator(menu); |
| 745 | i = Integer.valueOf(menu.getItemCount()); |
| 746 | menuSeparators.put(menu, i); |
| 747 | } |
| 748 | return i.intValue(); |
| 749 | } |
| 750 | |
| 751 | /** Inserts 'item' into 'menu' in alphanumeric order. */ |
| 752 | static void addOrdered(Menu menu, MenuItem item) { |
no test coverage detected