|
|||||||||
| Home >> All >> jsource >> [ gui overview ] | PREV NEXT | ||||||||
Uses of Class
jsource.gui.TextAreaPainter
| Uses of TextAreaPainter in jsource.gui |
| Fields in jsource.gui declared as TextAreaPainter | |
private TextAreaPainter |
JSEditor.painter
|
| Methods in jsource.gui that return TextAreaPainter | |
TextAreaPainter |
JSEditor.getPainter()
Returns the object responsible for painting this text area. |
|
|||||||||
| Home >> All >> jsource >> [ gui overview ] | PREV NEXT | ||||||||