|
||||||||||
| 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 | |||||||||