Lines Matching defs:props
287 private Properties props;
298 final Properties props) {
299 this.props = props;
1147 if (props == null) {
1153 str = props.getProperty(DEST_PROP);
1161 str = props.getProperty(PRINTER_PROP);
1165 str = props.getProperty(FILENAME_PROP);
1169 str = props.getProperty(NUMCOPIES_PROP);
1174 this.options = props.getProperty(OPTIONS_PROP, "");
1176 str = props.getProperty(ORIENT_PROP);
1186 str = props.getProperty(PAPERSIZE_PROP);
1201 if (props == null) {
1207 props.setProperty(DEST_PROP,
1212 props.setProperty(PRINTER_PROP, str);
1216 props.setProperty(FILENAME_PROP, str);
1220 props.setProperty(NUMCOPIES_PROP, "" + copies);
1224 props.setProperty(OPTIONS_PROP, str);
1226 props.setProperty(ORIENT_PROP,
1242 props.setProperty(PAPERSIZE_PROP, str);