From: amwaterhouse Date: Thu, 9 Jun 2005 10:02:08 +0000 (+0000) Subject: Monospaced X-Git-Tag: Release_2_0~82 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=0b1b7bbc3d990b33bf96711632691fd1de189790;p=jalview.git Monospaced --- diff --git a/src/jalview/jbappletgui/GCutAndPasteTransfer.java b/src/jalview/jbappletgui/GCutAndPasteTransfer.java index df702fd..907ec0a 100755 --- a/src/jalview/jbappletgui/GCutAndPasteTransfer.java +++ b/src/jalview/jbappletgui/GCutAndPasteTransfer.java @@ -38,7 +38,7 @@ public class GCutAndPasteTransfer extends Panel { } private void jbInit() throws Exception { - textarea.setFont(new java.awt.Font("Verdana", 0, 12)); + textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 10)); textarea.setText("Paste your alignment file here"); textarea.addMouseListener(new java.awt.event.MouseAdapter() { public void mousePressed(MouseEvent e) { diff --git a/src/jalview/jbgui/GCutAndPasteTransfer.java b/src/jalview/jbgui/GCutAndPasteTransfer.java index 8b2582c..e469571 100755 --- a/src/jalview/jbgui/GCutAndPasteTransfer.java +++ b/src/jalview/jbgui/GCutAndPasteTransfer.java @@ -76,7 +76,7 @@ public class GCutAndPasteTransfer extends JInternalFrame { } }); editMenubar.add(editMenu); - textarea.setFont(new java.awt.Font("Verdana", 0, 12)); + textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 12)); textarea.addMouseListener(new java.awt.event.MouseAdapter() { public void mousePressed(MouseEvent e) { textarea_mousePressed(e);