Changeset 5785 for trunk/gli/src/org/greenstone/gatherer/Configuration.java
- Timestamp:
- 2003-11-05T13:46:44+13:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Configuration.java
r5581 r5785 301 301 302 302 /** Retrieve the value of the named property as a Dimension. */ 303 publicDimension getDimension(String property, boolean general) {303 /* private Dimension getDimension(String property, boolean general) { 304 304 Dimension result = new Dimension(100, 100); // Default 305 305 try { … … 315 315 } 316 316 return result; 317 } 317 } */ 318 318 319 319 /** Retrieve the value of the named property as a FontUIResource. */ … … 512 512 513 513 /** Set the named property, from the specified configuration, using the given Dimension value. */ 514 publicvoid setDimension(String property, boolean general, Dimension value) {514 /* private void setDimension(String property, boolean general, Dimension value) { 515 515 StringBuffer text = new StringBuffer(""); 516 516 text.append(value.width); … … 518 518 text.append(value.height); 519 519 setString(property, general, text.toString()); 520 } 520 } */ 521 521 522 522 /** Set the named property, from the specified configuration, using the given Font value. */ … … 541 541 542 542 /** Set the named property, from the specified configuration, using the given integer value. */ 543 publicvoid setInt(String property, boolean general, int value) {543 /* private void setInt(String property, boolean general, int value) { 544 544 setString(property, general, String.valueOf(value)); 545 } 545 } */ 546 546 547 547 /** Set the named property, from the specified configuration, using the given Locale value. */
Note:
See TracChangeset
for help on using the changeset viewer.