X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FEditNameDialog.java;fp=src%2Fjalview%2Fappletgui%2FEditNameDialog.java;h=46325d932ba453ad750b272ca9e0d174a33abe57;hb=f13833b55dc6e05e5630b8dc465059a5cd2848a8;hp=ca029c8ee79de68cca08812fa2bdda140b816c58;hpb=4906ac3c822ddd260c29d1f40628828b2587812c;p=jalview.git diff --git a/src/jalview/appletgui/EditNameDialog.java b/src/jalview/appletgui/EditNameDialog.java index ca029c8..46325d9 100644 --- a/src/jalview/appletgui/EditNameDialog.java +++ b/src/jalview/appletgui/EditNameDialog.java @@ -49,16 +49,18 @@ public class EditNameDialog extends JVDialog String label2, Frame owner, String title, - int width, int height) + int width, int height, boolean display) { super(owner, title, true, width, height); + Font mono = new Font("Monospaced", Font.PLAIN, 12); Panel panel = new Panel(new BorderLayout()); Panel panel2 = new Panel(new BorderLayout()); id = new TextField(name, 40); + id.setFont(mono); Label label = new Label(label1); - label.setFont(new Font("Monospaced", Font.PLAIN, 12)); + label.setFont(mono); panel2.add(label, BorderLayout.WEST); panel2.add(id, BorderLayout.CENTER); @@ -69,13 +71,14 @@ public class EditNameDialog extends JVDialog { panel2 = new Panel(new BorderLayout()); description = new TextField(desc, 40); + description.setFont(mono); label = new Label(label2); - label.setFont(new Font("Monospaced", Font.PLAIN, 12)); + label.setFont(mono); panel2.add(label, BorderLayout.WEST); panel2.add(description, BorderLayout.CENTER); panel.add(panel2, BorderLayout.CENTER); } setMainPanel(panel); - setVisible(true); + setVisible(display); } }