From: amwaterhouse 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;ds=sidebyside;h=7a6d3a8aab4b7ee79a1a45a7793c13fbb01728de;hp=2ffe2deedb1527c067060646055bddd18d41d367;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'.