1 9 package bluej.editor.moe; 10 11 import javax.swing.*; 12 13 import bluej.*; 14 import bluej.prefmgr.*; 15 16 24 public class MoeEditorPrefPanel extends JPanel implements PrefPanelListener { 25 26 private JTextField sizeField; 27 28 33 public MoeEditorPrefPanel() { 34 35 JLabel fontsizeTag = new JLabel("Font size"); 36 { 37 fontsizeTag.setAlignmentX(LEFT_ALIGNMENT); 38 } 39 40 sizeField = new JTextField(4); 41 { 42 sizeField.setAlignmentX(LEFT_ALIGNMENT); 43 } 44 45 setLayout(new BoxLayout(this, BoxLayout.Y_AXIS)); 46 setBorder(BlueJTheme.generalBorder); 47 48 add(fontsizeTag); 49 add(sizeField); 50 add(Box.createGlue()); 51 } 52 53 public void beginEditing() 54 { 55 sizeField.setText("10"); 56 } 57 58 public void revertEditing() 59 { 60 } 61 62 public void commitEditing() 63 { 64 } 65 } 66 67 | Popular Tags |