X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FProgressPanel.java;h=170e9eb3987f6883c71d8f2097a033f03511e563;hb=8dadf27423ca69874dc6a3c9d416974ba5ae767f;hp=71c5f8f3b41d5d41417be795abe350bedbb2469b;hpb=dd064a7e6cc3d95c1247ef552e685ea82a5ff493;p=jalview.git diff --git a/src/jalview/gui/ProgressPanel.java b/src/jalview/gui/ProgressPanel.java index 71c5f8f..170e9eb 100644 --- a/src/jalview/gui/ProgressPanel.java +++ b/src/jalview/gui/ProgressPanel.java @@ -24,6 +24,8 @@ import jalview.api.RendererListenerI; import java.awt.BorderLayout; import java.awt.CardLayout; +import java.awt.Color; +import java.awt.Dimension; import java.beans.PropertyChangeEvent; import javax.swing.BorderFactory; @@ -31,7 +33,6 @@ 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 @@ -72,17 +73,28 @@ public class ProgressPanel extends JPanel implements RendererListenerI * @param label * The label to place next to the progress bar */ - public ProgressPanel(String eventPropertyName, String label) + public ProgressPanel(String eventPropertyName, String label, int maxwidth) { super(new BorderLayout(10, 0)); - setBorder(new EmptyBorder(0, 3, 0, 20)); + setBorder(new EmptyBorder(0, 3, 0, 0)); eventName = eventPropertyName; String labelText = label; - progressBar = new JProgressBar(); + final int w = maxwidth; + + progressBar = new JProgressBar() + { + @Override + public Dimension getMaximumSize() + { + return new Dimension(w, 1); + } + }; progressBar.setMinimum(0); + progressBar.setPreferredSize(progressBar.getMaximumSize()); progressLabel = new JLabel(labelText); + progressLabel.setFont(new java.awt.Font("Verdana", 0, 11)); // Use a CardLayout to stop the progress bar panel moving around when // changing visibility @@ -101,7 +113,8 @@ public class ProgressPanel extends JPanel implements RendererListenerI add(barPanel, BorderLayout.CENTER); add(new JLabel(" "), BorderLayout.EAST); - setBorder(BorderFactory.createEtchedBorder(EtchedBorder.LOWERED)); + setBorder(BorderFactory.createLineBorder(Color.black)); + // setBorder(BorderFactory.createEtchedBorder(EtchedBorder.LOWERED)); } @Override @@ -125,7 +138,7 @@ public class ProgressPanel extends JPanel implements RendererListenerI labelLayout.show(labelPanel, VISIBLE); barLayout.show(barPanel, VISIBLE); } - else if (progress >= MAXVALUE) + if (progress >= MAXVALUE) { labelLayout.show(labelPanel, INVISIBLE); barLayout.show(barPanel, INVISIBLE);