X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FEditNameDialog.java;h=46325d932ba453ad750b272ca9e0d174a33abe57;hb=f7a97ef025c498c19fdcc37d9fc0506d511d18dd;hp=1c365baf0cc05c250f3a666e1c7fd790f8dab0cc;hpb=0eca27bca577e774acd5aefb165e7c6396a1995e;p=jalview.git diff --git a/src/jalview/appletgui/EditNameDialog.java b/src/jalview/appletgui/EditNameDialog.java index 1c365ba..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); - show(); + setVisible(display); } }