Object | +-FacadeInitializer
[PENDING: update the comments] FacadeInitializer.
public FacadeInitializer()
public final int getAutoScrollDelay()
public final int getAutoScrollMargin()
public final AutoScrollPolicy getAutoScrollPolicy()
public final int getAutoScrollRate()
public final int getFormattingWidth()
public final ScrollbarPolicy getHorizontalScrollbarPolicy()
public final String getInitialBackground()
public final String getInitialColor()
public final String getInitialFont()
public final InsureVisiblePolicy getInsureVisiblePolicy()
public final URL getPortableFontLibrary()
public final int getScrollbarThickness()
public final ScrollbarPolicy getVerticalScrollbarPolicy()
public final void setAutoScrollDelay(int aValue)
public final void setAutoScrollMargin(int aValue)
public final void setAutoScrollPolicy(AutoScrollPolicy aPolicy)
public final void setAutoScrollRate(int aValue)
public final void setFormattingWidth(int aValue)
public final voidsetHorizontalScrollbarPolicy(ScrollbarPolicy aPolicy)
public final void setInitialBackground(String aName)
public final void setInitialColor(String aName)
public final void setInitialFont(String aName)
public final voidsetInsureVisiblePolicy(InsureVisiblePolicy aPolicy)
public final void setPortableFontLibrary(URL anUrl)
public final void setScrollbarThickness(int aValue)
public final voidsetVerticalScrollbarPolicy(ScrollbarPolicy aPolicy)