1 | str = str.toLowerCase();↵ | | |
|
2 | String[] actions = jEdit.getActionNames();↵ | | |
|
3 | ArrayList returnValue = new ArrayList(actions.length);↵ | | |
|
| | | 1 | List returnValue = new LinkedList();↵
|
| | | 2 | String[] newAPI = ServiceManager.getServiceNames(SERVICE);↵
|
| | | 3 | if(newAPI != null)↵
|
| | | 4 | {↵
|
4 | for(int i = 0; i < actions.length; i++)↵ | | 5 | for(int i = 0; i < newAPI.length; i++)↵
|
5 | {↵ | | 6 | {↵
|
6 | if(actions[i].toLowerCase().indexOf(str) != -1↵ | | 7 | returnValue.add(newAPI[i]);↵
|
| | | 8 | }↵
|
| | | 9 | }↵
|
| | | 10 | Enumeration oldAPI = vfsHash.keys();↵
|
7 | )↵ | | 11 | while(oldAPI.hasMoreElements())↵
|
8 | returnValue.add(actions[i]);↵ | | 12 | returnValue.add(↵
|
9 | }↵ | | |
|
| | | 13 | oldAPI.nextElement());↵
|
10 | return (String[])returnValue.toArray(new String[↵ | | 14 | return (String[])returnValue.toArray(new String[↵
|
11 | returnValue.size()]); | | 15 | returnValue.size()]);
|