(String key)
| 572 | } |
| 573 | |
| 574 | static String trimKey(String key) { |
| 575 | int index = key.indexOf(" "); |
| 576 | if (index>-1) |
| 577 | key = key.substring(0,index); |
| 578 | index = key.indexOf(":"); |
| 579 | if (index>-1) |
| 580 | key = key.substring(0,index); |
| 581 | key = key.toLowerCase(Locale.US); |
| 582 | return key; |
| 583 | } |
| 584 | |
| 585 | /** Writes the current command and options to the Recorder window. */ |
| 586 | public static void saveCommand() { |
no test coverage detected