(String value)
| 798 | } |
| 799 | |
| 800 | static String addQuotes(String value) { |
| 801 | if (value==null) |
| 802 | value = ""; |
| 803 | int index = value.indexOf(' '); |
| 804 | if (index>-1) |
| 805 | value = "["+value+"]"; |
| 806 | return value; |
| 807 | } |
| 808 | |
| 809 | /** Used by GenericDialog to determine if any options have been recorded. */ |
| 810 | public static String getCommandOptions() { |
no test coverage detected