/* CVS: $Id: InfoProgressBar.java,v 1.10 2001/03/11 21:39:01 gvijf Exp $ */

package gui;

import java.awt.Dimension;
import javax.swing.JProgressBar;

public class InfoProgressBar extends JProgressBar {
    /**
      * @precondition: percentage in [0...100]
      */
    public InfoProgressBar(int percentage) {
        super();
        setValue(percentage);
        setPreferences();
    }

    protected void setPreferences() {
        setMinimumSize(new Dimension(15, 7));
        setPreferredSize(new Dimension(15, 7));
        setMaximumSize(new Dimension(15, 7));
    }
}