From b8d09897dacc7b0ad203982b4578e2c1d8929142 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 2 Aug 2005 09:23:10 +0000
Subject: [PATCH] Use font.getName, not font.getFontName

---
 src/jalview/gui/Jalview2XML.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/gui/Jalview2XML.java b/src/jalview/gui/Jalview2XML.java
index 44ff2ad..403509d 100755
--- a/src/jalview/gui/Jalview2XML.java
+++ b/src/jalview/gui/Jalview2XML.java
@@ -370,7 +370,7 @@ public class Jalview2XML
 
         view.setConservationSelected(av.getConservationSelected());
         view.setPidSelected(av.getAbovePIDThreshold());
-        view.setFontName(av.font.getFontName());
+        view.setFontName(av.font.getName());
         view.setFontSize(av.font.getSize());
         view.setFontStyle(av.font.getStyle());
         view.setRenderGaps(av.renderGaps);
-- 
1.7.10.2