()
| 5978 | } |
| 5979 | |
| 5980 | void setCommands() { |
| 5981 | interp.getParens(); |
| 5982 | Hashtable commands = Menus.getCommands(); |
| 5983 | props = new Properties(); |
| 5984 | for (Enumeration en=commands.keys(); en.hasMoreElements();) { |
| 5985 | String command = (String)en.nextElement(); |
| 5986 | props.setProperty(command, (String)commands.get(command)); |
| 5987 | } |
| 5988 | } |
| 5989 | |
| 5990 | void setMeasurements() { |
| 5991 | String arg = ""; |
no test coverage detected