- Timestamp:
- 2018-12-14T22:23:47+13:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r32050 r32686 755 755 } 756 756 }*/ 757 757 g_man.setName("GUIManager"); // g_man has a name "frame0" assigned automatically 758 // setNamesRecursively won't assign a name if one is already set 759 // Setting explicitly since GUIManager is preferred for its name 760 GUIManager.setNamesRecursively("", g_man); 761 GUIManager.printComponentNames(g_man, ""); 762 758 763 // If there was a collection left open last time, reopen it 759 764 if (open_collection_file_path == null || new File(Gatherer.open_collection_file_path).isDirectory()) {
Note:
See TracChangeset
for help on using the changeset viewer.