Lines Matching defs:props
142 Properties props = readProperties(propertyFile);
143 toolName = props.getProperty("tool.name");
145 toolArgs = props.getProperty(toolName + ".args", "");
151 showGUI(props);
185 JOptionPane createPane(final Properties props) {
208 argsField.setText(getDefaultArgsForTool(props, tool1));
221 argsField = new JTextField(getDefaultArgsForTool(props, tool), 40);
234 props.put(toolName + ".args", argsField.getText());
304 String getDefaultArgsForTool(Properties props, ToolChoices tool) {
308 return toolName.equals("") ? "" : props.getProperty(toolName + ".args", "");