Changeset 5241 for trunk/gli/src/org/greenstone/gatherer/util/Utility.java
- Timestamp:
- 2003-08-21T11:16:54+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/util/Utility.java
r5216 r5241 55 55 static final public Dimension BUTTON_SIZE = new Dimension(160, 35); 56 56 static final public Dimension DOUBLE_IMAGE_BUTTON_SIZE = new Dimension(190, 35); 57 static final public Dimension LABEL_SIZE = new Dimension(1 25, 35);57 static final public Dimension LABEL_SIZE = new Dimension(150, 25); 58 58 /** The default size of a gatherer progress bar, in either the download view or the build view. */ 59 59 static final public Dimension PROGRESS_BAR_SIZE = new Dimension(580,65); … … 66 66 /** Definition of an important directory name, in this case the base dir, or the working directory of the Gatherer. */ 67 67 static final public String BASE_DIR = System.getProperty("user.dir") + File.separator; 68 static final public String BUILD_CFG_FILENAME = "build.cfg"; 68 69 /** Definition of an important directory name, in this case the building directory for the collection. */ 69 70 static final public String BUILD_DIR = "building" + File.separator;
Note:
See TracChangeset
for help on using the changeset viewer.