|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.uni_paderborn.fujaba.mpEdit.Ruler
The Ruler is used to measure pixel lengths of strings.
Field Summary | |
private char[] |
after
No comment provided by developer, please add a comment to improve documentation. |
private int |
afterMax
No comment provided by developer, please add a comment to improve documentation. |
private char[] |
before
No comment provided by developer, please add a comment to improve documentation. |
private int |
beforeMax
No comment provided by developer, please add a comment to improve documentation. |
private DocMan |
docMan
No comment provided by developer, please add a comment to improve documentation. |
private java.awt.FontMetrics |
fontMetrics
No comment provided by developer, please add a comment to improve documentation. |
private boolean |
hasTabs
No comment provided by developer, please add a comment to improve documentation. |
private int |
lineLast
No comment provided by developer, please add a comment to improve documentation. |
private int |
tabSize
No comment provided by developer, please add a comment to improve documentation. |
Constructor Summary | |
Ruler(DocMan dm)
Constructor for class Ruler |
Method Summary | |
private void |
fillBuffers(int line_no)
No comment provided by developer, please add a comment to improve documentation. |
void |
invalidate(int first,
int last)
No comment provided by developer, please add a comment to improve documentation. |
int |
length(int line,
int column)
No comment provided by developer, please add a comment to improve documentation. |
TextPosition |
position(int line,
int x)
No comment provided by developer, please add a comment to improve documentation. |
void |
setFontMetrics(java.awt.FontMetrics fm)
Sets the fontMetrics attribute of the Ruler object |
void |
setTabSize(int ts)
Sets the tabSize attribute of the Ruler object |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private DocMan docMan
private java.awt.FontMetrics fontMetrics
private int tabSize
private char[] before
private char[] after
private boolean hasTabs
private int beforeMax
private int afterMax
private int lineLast
Constructor Detail |
public Ruler(DocMan dm)
dm
- No description providedMethod Detail |
public void setFontMetrics(java.awt.FontMetrics fm)
fm
- The new fontMetrics valuepublic void setTabSize(int ts)
ts
- The new tabSize valuepublic void invalidate(int first, int last)
first
- No description providedlast
- No description providedprivate void fillBuffers(int line_no)
line_no
- No description providedpublic int length(int line, int column)
line
- No description providedcolumn
- No description provided
public TextPosition position(int line, int x)
line
- No description providedx
- No description provided
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |