Changeset 23436 for main/trunk/gli/src/org/greenstone
- Timestamp:
- 2010-12-10T20:40:28+13:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/metadata/FilenameEncoding.java
r23433 r23436 69 69 public static Map map = new HashMap(); 70 70 71 //*********************** BUSY REFRESHING / REQUIRING REFRESH ********************* 72 71 73 /** Set to true if filename encoding metadata was changed. Called by the enter keyPress 72 74 * event in gui.EnrichPane and when the gs.FilenameEncoding field loses focus. */ 73 75 private static boolean refreshRequired = false; 74 75 //*********************** BUSY REFRESHING / REQUIRING REFRESH ********************* 76 77 public static boolean isRefreshRequired() { 76 77 synchronized public static boolean isRefreshRequired() { 78 78 return refreshRequired; 79 79 } 80 80 81 public static void setRefreshRequired(boolean state) {81 synchronized public static void setRefreshRequired(boolean state) { 82 82 if(MULTIPLE_FILENAME_ENCODINGS_SUPPORTED) { 83 83 refreshRequired = state;
Note:
See TracChangeset
for help on using the changeset viewer.