Use font.getName, not font.getFontName
authoramwaterhouse <Andrew Waterhouse>
Tue, 2 Aug 2005 09:23:10 +0000 (09:23 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 2 Aug 2005 09:23:10 +0000 (09:23 +0000)
src/jalview/gui/Jalview2XML.java

index 44ff2ad..403509d 100755 (executable)
@@ -370,7 +370,7 @@ public class Jalview2XML
 \r
         view.setConservationSelected(av.getConservationSelected());\r
         view.setPidSelected(av.getAbovePIDThreshold());\r
-        view.setFontName(av.font.getFontName());\r
+        view.setFontName(av.font.getName());\r
         view.setFontSize(av.font.getSize());\r
         view.setFontStyle(av.font.getStyle());\r
         view.setRenderGaps(av.renderGaps);\r