Deletes a command installed by Plugins/Shortcuts/Add Shortcut.
(String command)
| 1603 | |
| 1604 | /** Deletes a command installed by Plugins/Shortcuts/Add Shortcut. */ |
| 1605 | public static int uninstallPlugin(String command) { |
| 1606 | boolean found = false; |
| 1607 | for (Enumeration en=pluginsPrefs.elements(); en.hasMoreElements();) { |
| 1608 | String cmd = (String)en.nextElement(); |
| 1609 | if (cmd.contains(command)) { |
| 1610 | boolean ok = pluginsPrefs.removeElement((Object)cmd); |
| 1611 | found = true; |
| 1612 | break; |
| 1613 | } |
| 1614 | } |
| 1615 | if (found) |
| 1616 | return NORMAL_RETURN; |
| 1617 | else |
| 1618 | return COMMAND_NOT_FOUND; |
| 1619 | |
| 1620 | } |
| 1621 | |
| 1622 | public static boolean commandInUse(String command) { |
| 1623 | if (pluginsTable.get(command)!=null) |