()
| 64 | } |
| 65 | |
| 66 | public void commandState() { |
| 67 | menuCommands.removeAllElements(); |
| 68 | addMenuCommand(cmdAdd); |
| 69 | if (keyScheme.getFullSize() > 0) { |
| 70 | addMenuCommand(cmdEdit); |
| 71 | addMenuCommand(cmdDel); |
| 72 | } else { |
| 73 | removeMenuCommand(cmdEdit); |
| 74 | removeMenuCommand(cmdDel); |
| 75 | } |
| 76 | addMenuCommand(cmdApply); |
| 77 | } |
| 78 | |
| 79 | public void cmdOk() { |
| 80 | UserKeyExec uexec = UserKeyExec.getInstance(); |
no test coverage detected