From: kiramt <k.mourao@dundee.ac.uk>
Date: Thu, 10 Aug 2017 11:02:10 +0000 (+0100)
Subject: JAL-2587 Tinkering with progress panel appearance
X-Git-Tag: Release_2_10_2b1~4^2^2~8
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=dd064a7e6cc3d95c1247ef552e685ea82a5ff493;p=jalview.git

JAL-2587 Tinkering with progress panel appearance
---

diff --git a/src/jalview/gui/ProgressPanel.java b/src/jalview/gui/ProgressPanel.java
index 5417a1d..71c5f8f 100644
--- a/src/jalview/gui/ProgressPanel.java
+++ b/src/jalview/gui/ProgressPanel.java
@@ -26,10 +26,12 @@ import java.awt.BorderLayout;
 import java.awt.CardLayout;
 import java.beans.PropertyChangeEvent;
 
+import javax.swing.BorderFactory;
 import javax.swing.JLabel;
 import javax.swing.JPanel;
 import javax.swing.JProgressBar;
 import javax.swing.border.EmptyBorder;
+import javax.swing.border.EtchedBorder;
 
 /**
  * A class to manage a panel containing a label and progress bar updated by an
@@ -97,6 +99,9 @@ public class ProgressPanel extends JPanel implements RendererListenerI
 
     add(labelPanel, BorderLayout.WEST);
     add(barPanel, BorderLayout.CENTER);
+    add(new JLabel(" "), BorderLayout.EAST);
+
+    setBorder(BorderFactory.createEtchedBorder(EtchedBorder.LOWERED));
   }
 
   @Override