|
miSim | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--misim.editor.EditorPrefs
Field Summary | |
int |
blinkRate
The blink rate for the cursor |
int[] |
charWidthArray
Character width array |
boolean |
expandTabs
Flag to indicate if tabs should be expanded to spaces when they are typed |
java.lang.String |
paddedTab
A Pre-prepared 'tab' mad up of spaces |
static java.lang.String |
SETTING_EXPANDTABS
|
static java.lang.String |
SETTING_FONT
Setting names |
static java.lang.String |
SETTING_FONTSIZE
|
static java.lang.String |
SETTING_TABWIDTH
|
static java.lang.String |
SETTING_UPPERCASE
|
int |
tabPixelWidth
The number of spaces that represent a tab character |
int |
tabWidth
The number of spaces that represent a tab character |
boolean |
uppercaseCommands
Flag to indicate if commands should be displayed as uppercase |
Constructor Summary | |
EditorPrefs(java.awt.Component owner,
SettingsGroup settings,
java.util.Vector errLog)
Construct a new EditorPrefs object for the given graphic component and settings. |
Method Summary | |
int |
getCharWidth()
Return the maximum width for a character in this font |
java.awt.Color |
getColour(int tokenType)
|
int |
getDescent()
|
java.awt.Font |
getFont()
|
int |
getLineHeight()
Return the height of a line in this font |
int |
getWidth(java.lang.String text)
|
void |
init(java.awt.Component owner,
java.util.Vector errLog)
|
void |
setDefaults(SettingsGroup settings)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public boolean uppercaseCommands
public int[] charWidthArray
public int blinkRate
public int tabWidth
public int tabPixelWidth
public boolean expandTabs
public java.lang.String paddedTab
public static final java.lang.String SETTING_FONT
public static final java.lang.String SETTING_FONTSIZE
public static final java.lang.String SETTING_TABWIDTH
public static final java.lang.String SETTING_EXPANDTABS
public static final java.lang.String SETTING_UPPERCASE
Constructor Detail |
public EditorPrefs(java.awt.Component owner, SettingsGroup settings, java.util.Vector errLog) throws java.lang.Exception
owner
- A Awt component to derive font information fromsettings
- The editor's settings groupMethod Detail |
public void init(java.awt.Component owner, java.util.Vector errLog) throws java.lang.Exception
public void setDefaults(SettingsGroup settings)
public java.awt.Font getFont()
public int getLineHeight()
public int getCharWidth()
public int getDescent()
public int getWidth(java.lang.String text)
public java.awt.Color getColour(int tokenType)
|
miSim | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |