(MenuCommand command)
| 113 | } |
| 114 | |
| 115 | public void removeMenuCommand(MenuCommand command) { |
| 116 | menuCommands.removeElement(command); |
| 117 | } |
| 118 | |
| 119 | public void commandState() { |
| 120 | menuCommands.removeAllElements(); |
no outgoing calls
no test coverage detected