Lines Matching defs:props
109 Properties props = readProperties(propertyFile);
110 toolName = props.getProperty("tool.name");
112 toolArgs = props.getProperty(toolName + ".args", "");
118 showGUI(props);
149 JOptionPane createPane(final Properties props) {
175 argsField.setText(getDefaultArgsForTool(props, tn));
182 argsField = new JTextField(getDefaultArgsForTool(props, toolName), 40);
193 props.put(toolName + ".args", argsField.getText());
265 String getDefaultArgsForTool(Properties props, String tn) {
266 return (tn == null || tn.equals("")) ? "" : props.getProperty(tn + ".args", "");