Changeset 5322

Timestamp:

2003-08-28T12:42:17+12:00 (21 years ago)

Author:

jmt12

Message:

Pausing is now disabled for 'simple' type downloads (where I could pause even if I wanted to)

File:

• trunk/gli/src/org/greenstone/gatherer/gui/GProgressBar.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/GProgressBar.java

@@ -251 +251 @@
      * reset to zero.
      */
-    public void mirrorBegun(boolean reset) {
+    public void mirrorBegun(boolean reset, boolean simple) {
     if(reset) {
         this.file_count = 0;
@@ -263 +263 @@
     action.setIcon(Utility.getImage("vcrpause.gif"));
     action.setToolTipText("Pause current download");
+    // If this is a simple download, then pause is not available (nor is prematurely stopping!)
+    action.setEnabled(!simple);
     cancel.setEnabled(false);
     if(simple) {
@@ -285 +287 @@
     action.setIcon(Utility.getImage("vcrfastforward.gif"));
     action.setToolTipText("Restart current download");
+    action.setEnabled(true);
     cancel.setEnabled(true);
     this.updateUI();