org.scilab.forge.jlatexmath
Class TeXEnvironment
java.lang.Object
org.scilab.forge.jlatexmath.TeXEnvironment
public class TeXEnvironment
- extends java.lang.Object
Contains the used TeXFont-object, color settings and the current style in which a
formula must be drawn. It's used in the createBox-methods. Contains methods that
apply the style changing rules for subformula's.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
isColored
public boolean isColored
TeXEnvironment
public TeXEnvironment(int style,
TeXFont tf)
copy
protected TeXEnvironment copy()
crampStyle
public TeXEnvironment crampStyle()
- Returns:
- a copy of the environment, but in a cramped style.
denomStyle
public TeXEnvironment denomStyle()
- Returns:
- a copy of the environment, but in denominator style.
getBackground
public java.awt.Color getBackground()
- Returns:
- the background color setting
getColor
public java.awt.Color getColor()
- Returns:
- the foreground color setting
getSize
public float getSize()
- Returns:
- the point size of the TeXFont
getStyle
public int getStyle()
- Returns:
- the current style
setStyle
public void setStyle(int style)
getTeXFont
public TeXFont getTeXFont()
- Returns:
- the TeXFont to be used
numStyle
public TeXEnvironment numStyle()
- Returns:
- a copy of the environment, but in numerator style.
reset
public void reset()
- Resets the color settings.
rootStyle
public TeXEnvironment rootStyle()
- Returns:
- a copy of the environment, but with the style changed for roots
setBackground
public void setBackground(java.awt.Color c)
- Parameters:
c
- the background color to be set
setColor
public void setColor(java.awt.Color c)
- Parameters:
c
- the foreground color to be set
subStyle
public TeXEnvironment subStyle()
- Returns:
- a copy of the environment, but in subscript style.
supStyle
public TeXEnvironment supStyle()
- Returns:
- a copy of the environment, but in superscript style.
getSpace
public float getSpace()
setLastFontId
public void setLastFontId(int id)
getLastFontId
public int getLastFontId()