Monospaced
authoramwaterhouse <Andrew Waterhouse>
Thu, 9 Jun 2005 10:02:08 +0000 (10:02 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 9 Jun 2005 10:02:08 +0000 (10:02 +0000)
src/jalview/jbappletgui/GCutAndPasteTransfer.java
src/jalview/jbgui/GCutAndPasteTransfer.java

index df702fd..907ec0a 100755 (executable)
@@ -38,7 +38,7 @@ public class GCutAndPasteTransfer extends Panel {
     }\r
 \r
     private void jbInit() throws Exception {\r
-        textarea.setFont(new java.awt.Font("Verdana", 0, 12));\r
+        textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 10));\r
         textarea.setText("Paste your alignment file here");\r
         textarea.addMouseListener(new java.awt.event.MouseAdapter() {\r
                 public void mousePressed(MouseEvent e) {\r
index 8b2582c..e469571 100755 (executable)
@@ -76,7 +76,7 @@ public class GCutAndPasteTransfer extends JInternalFrame {
                 }\r
             });\r
         editMenubar.add(editMenu);\r
-        textarea.setFont(new java.awt.Font("Verdana", 0, 12));\r
+        textarea.setFont(new java.awt.Font("Monospaced", Font.PLAIN, 12));\r
         textarea.addMouseListener(new java.awt.event.MouseAdapter() {\r
                 public void mousePressed(MouseEvent e) {\r
                     textarea_mousePressed(e);\r