Changeset 9058
- Timestamp:
- 2005-02-16T12:08:01+13:00 (19 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 1 deleted
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r9054 r9058 46 46 import org.greenstone.gatherer.file.FileAssociationManager; 47 47 import org.greenstone.gatherer.gui.GUIManager; 48 import org.greenstone.gatherer.gui.Splash;49 48 import org.greenstone.gatherer.gui.URLField; 50 49 import org.greenstone.gatherer.gui.WarningDialog; … … 326 325 327 326 328 public void run(Dimension size, Splash splash,GUIManager g_man)327 public void run(Dimension size, GUIManager g_man) 329 328 { 330 329 // Size and place the frame on the screen … … 349 348 size.height = Configuration.screen_size.height; 350 349 } 351 352 if (splash != null) { splash.toFront(); }353 350 354 351 if (!g_man_built) { … … 379 376 else { 380 377 g_man.setVisible(true); 381 }382 383 if (splash != null) {384 // Hide the splash screen385 splash.setVisible(false);386 splash.destroy();387 splash = null;388 378 } 389 379 } -
trunk/gli/src/org/greenstone/gatherer/GathererApplet.java
r9045 r9058 41 41 import org.greenstone.gatherer.feedback.ActionRecorderDialog; 42 42 import org.greenstone.gatherer.gui.GUIManager; 43 import org.greenstone.gatherer.gui.Splash;44 43 import org.greenstone.gatherer.util.Utility; 44 45 45 46 46 public class GathererApplet extends JApplet implements ActionListener … … 201 201 public void actionPerformed(ActionEvent e) 202 202 { 203 Splash splash = null; 204 205 gatherer.run(size, splash, g_man); 203 gatherer.run(size, g_man); 206 204 207 205 // If there was an open collection last session, reopen it. -
trunk/gli/src/org/greenstone/gatherer/GathererProg.java
r9055 r9058 33 33 import org.greenstone.gatherer.feedback.ActionRecorderDialog; 34 34 import org.greenstone.gatherer.gui.GUIManager; 35 import org.greenstone.gatherer.gui.Splash; 35 36 36 37 37 /** Containing the main() method for the Gatherer, this class is the … … 92 92 } 93 93 94 // Splash screen.95 Splash splash = new Splash();96 94 GUIManager g_man 97 95 = gatherer.init(size, go.gsdl_path, go.gsdl3_path, go.local_library_path, … … 99 97 go.no_load, go.filename, go.site_name, 100 98 go.servlet_path, go.wget_version_str, go.wget_path); 101 gatherer.run(size, splash,g_man);99 gatherer.run(size, g_man); 102 100 103 101 // If there was an open collection last session, reopen it.
Note:
See TracChangeset
for help on using the changeset viewer.