From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 14 Sep 2005 11:19:16 +0000 (+0000)
Subject: TreeFont added, binding rebuilt
X-Git-Tag: Release_2_05b~37
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=7a6d3a8aab4b7ee79a1a45a7793c13fbb01728de;p=jalview.git

TreeFont added, binding rebuilt
---

diff --git a/src/jalview/binding/Tree.java b/src/jalview/binding/Tree.java
index 56943c7..94922ac 100755
--- a/src/jalview/binding/Tree.java
+++ b/src/jalview/binding/Tree.java
@@ -74,6 +74,11 @@ public class Tree implements java.io.Serializable {
     private boolean _has_ypos;
 
     /**
+     * Field _fontName
+     */
+    private java.lang.String _fontName;
+
+    /**
      * Field _fontSize
      */
     private int _fontSize;
@@ -84,6 +89,16 @@ public class Tree implements java.io.Serializable {
     private boolean _has_fontSize;
 
     /**
+     * Field _fontStyle
+     */
+    private int _fontStyle;
+
+    /**
+     * keeps track of state for field: _fontStyle
+     */
+    private boolean _has_fontStyle;
+
+    /**
      * Field _threshold
      */
     private float _threshold;
@@ -195,6 +210,15 @@ public class Tree implements java.io.Serializable {
     } //-- void deleteFontSize() 
 
     /**
+     * Method deleteFontStyle
+     * 
+     */
+    public void deleteFontStyle()
+    {
+        this._has_fontStyle= false;
+    } //-- void deleteFontStyle() 
+
+    /**
      * Method deleteHeight
      * 
      */
@@ -289,6 +313,17 @@ public class Tree implements java.io.Serializable {
     } //-- boolean getFitToWindow() 
 
     /**
+     * Returns the value of field 'fontName'.
+     * 
+     * @return String
+     * @return the value of field 'fontName'.
+     */
+    public java.lang.String getFontName()
+    {
+        return this._fontName;
+    } //-- java.lang.String getFontName() 
+
+    /**
      * Returns the value of field 'fontSize'.
      * 
      * @return int
@@ -300,6 +335,17 @@ public class Tree implements java.io.Serializable {
     } //-- int getFontSize() 
 
     /**
+     * Returns the value of field 'fontStyle'.
+     * 
+     * @return int
+     * @return the value of field 'fontStyle'.
+     */
+    public int getFontStyle()
+    {
+        return this._fontStyle;
+    } //-- int getFontStyle() 
+
+    /**
      * Returns the value of field 'height'.
      * 
      * @return int
@@ -446,6 +492,18 @@ public class Tree implements java.io.Serializable {
     } //-- boolean hasFontSize() 
 
     /**
+     * Method hasFontStyle
+     * 
+     * 
+     * 
+     * @return boolean
+     */
+    public boolean hasFontStyle()
+    {
+        return this._has_fontStyle;
+    } //-- boolean hasFontStyle() 
+
+    /**
      * Method hasHeight
      * 
      * 
@@ -610,6 +668,16 @@ public class Tree implements java.io.Serializable {
     } //-- void setFitToWindow(boolean) 
 
     /**
+     * Sets the value of field 'fontName'.
+     * 
+     * @param fontName the value of field 'fontName'.
+     */
+    public void setFontName(java.lang.String fontName)
+    {
+        this._fontName = fontName;
+    } //-- void setFontName(java.lang.String) 
+
+    /**
      * Sets the value of field 'fontSize'.
      * 
      * @param fontSize the value of field 'fontSize'.
@@ -621,6 +689,17 @@ public class Tree implements java.io.Serializable {
     } //-- void setFontSize(int) 
 
     /**
+     * Sets the value of field 'fontStyle'.
+     * 
+     * @param fontStyle the value of field 'fontStyle'.
+     */
+    public void setFontStyle(int fontStyle)
+    {
+        this._fontStyle = fontStyle;
+        this._has_fontStyle = true;
+    } //-- void setFontStyle(int) 
+
+    /**
      * Sets the value of field 'height'.
      * 
      * @param height the value of field 'height'.