From 0b1b7bbc3d990b33bf96711632691fd1de189790 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 9 Jun 2005 10:02:08 +0000 Subject: [PATCH] Monospaced --- src/jalview/jbappletgui/GCutAndPasteTransfer.java | 2 +- src/jalview/jbgui/GCutAndPasteTransfer.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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); -- 1.7.10.2