|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
ShapeProperties |
Class Summary | |
---|---|
AugmentationManager | |
MarginController | |
ShapeManager | This class provides a set of shapes that can be used with a the SWT GC of the text widget used to display the java editor to render specific shapes. |
Enum Summary | |
---|---|
ShapeDirection | |
ShapeType | |
UnderlineType |
Gives additional functionality to the augmentation classes.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |