1 9 package bluej.editor.moe; 10 11 import bluej.Config; 12 import java.awt.*; import javax.swing.*; 14 15 19 20 public final class StatusLabel extends JLabel 21 { 22 24 public static Font statusFont = new Font("SansSerif", Font.BOLD | Font.ITALIC, 11); 25 26 static final int READONLY = 0; 28 static final int SAVED = 1; 29 static final int CHANGED = 2; 30 31 private final String [] stateString = { 32 Config.getString("editor.state.readOnly"), 33 Config.getString("editor.state.saved"), 34 Config.getString("editor.state.changed") 35 }; 36 37 38 40 private int state; 41 42 43 45 public StatusLabel(int initialState) 46 { 47 super("", JLabel.CENTER); 48 setText(stateString[initialState]); 49 setFont(statusFont); 50 setBorder(BorderFactory.createEmptyBorder(0, 8, 0, 8)); 51 state = initialState; 52 } 53 54 56 public boolean isSaved() 57 { 58 return (state != CHANGED); 59 } 60 61 public boolean isChanged() 62 { 63 return (state == CHANGED); 64 } 65 66 public boolean isReadOnly() 67 { 68 return (state == READONLY); 69 } 70 71 public void setState(int newState) 72 { 73 state = newState; 74 setText(stateString[state]); 75 } 76 77 } | Popular Tags |