/* 
    P/P   *  Method: com.dmdirc.addons.windowstatus.WindowStatusPanel__static_init
          */
     1  /*
     2   * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
     3   *
     4   * Permission is hereby granted, free of charge, to any person obtaining a copy
     5   * of this software and associated documentation files (the "Software"), to deal
     6   * in the Software without restriction, including without limitation the rights
     7   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
     8   * copies of the Software, and to permit persons to whom the Software is
     9   * furnished to do so, subject to the following conditions:
    10   *
    11   * The above copyright notice and this permission notice shall be included in
    12   * all copies or substantial portions of the Software.
    13   *
    14   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
    15   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
    16   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
    17   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
    18   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
    19   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
    20   * SOFTWARE.
    21   */
    22  package com.dmdirc.addons.windowstatus;
    23  
    24  import com.dmdirc.ui.interfaces.StatusBarComponent;
    25  
    26  import javax.swing.BorderFactory;
    27  import javax.swing.JLabel;
    28  import javax.swing.JPanel;
    29  
    30  import net.miginfocom.swing.MigLayout;
    31  
    32  public class WindowStatusPanel extends JPanel implements StatusBarComponent {
    33  
    34      /**
    35       * A version number for this class. It should be changed whenever the class
    36       * structure is changed (or anything else that would prevent serialized
    37       * objects being unserialized with the new class).
    38       */
    39      private static final long serialVersionUID = 3333052848780326565L;
    40      /** The label we use to show window status. */
    41      private final JLabel label = new JLabel("???");
    42  
    43      public WindowStatusPanel() {
                 /* 
    P/P           *  Method: void com.dmdirc.addons.windowstatus.WindowStatusPanel()
                  * 
                  *  Postconditions:
                  *    this.label == &new JLabel(WindowStatusPanel#1)
                  *    new JLabel(WindowStatusPanel#1) num objects == 1
                  */
    44          super();
    45  
    46          setBorder(BorderFactory.createEtchedBorder());
    47          setLayout(new MigLayout("ins 0 rel 0 rel, aligny center"));
    48          add(label);
    49      }
    50      
    51      /**
    52       * Sets the text for this label.
    53       * 
    54       * @param text New text
    55       */
    56      public void setText(final String text) {
                 /* 
    P/P           *  Method: void setText(String)
                  * 
                  *  Preconditions:
                  *    this.label != null
                  */
    57          label.setText(text);
    58      }
    59  }