Package metricsOverlay.model.augmentation.other

Gives additional functionality to the augmentation classes.

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  
 

Package metricsOverlay.model.augmentation.other Description

Gives additional functionality to the augmentation classes.