Merge branch 'develop' into bug/JAL-4421_customise_volume_name_of_DMG_installers

[jalview.git] / src / jalview / gui / Desktop.java

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 4c30a06..9072b75 100644 (file)
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -2813,6 +2813,23 @@ public class Desktop extends jalview.jbgui.GDesktop
     }
   }
 
+  @Override
+  public JProgressBar getProgressBar(long id)
+  {
+    if (progressBars == null)
+      return null;
+
+    if (progressBars.get(Long.valueOf(id)) == null)
+      return null;
+ 
+    for (Component c : progressBars.get(Long.valueOf(id)).getComponents())
+    {
+      if (c.getClass() == JProgressBar.class)
+       return (JProgressBar) c;
+    }
+    return null;
+  }
+
   /*
    * (non-Javadoc)
    *