git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7c9da55
)
Use font.getName, not font.getFontName
author
amwaterhouse
<Andrew Waterhouse>
Tue, 2 Aug 2005 09:23:10 +0000
(09:23 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Tue, 2 Aug 2005 09:23:10 +0000
(09:23 +0000)
src/jalview/gui/Jalview2XML.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Jalview2XML.java
b/src/jalview/gui/Jalview2XML.java
index
44ff2ad
..
403509d
100755
(executable)
--- a/
src/jalview/gui/Jalview2XML.java
+++ b/
src/jalview/gui/Jalview2XML.java
@@
-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