Class | Description |
---|---|
OriginTermLabelsExt |
Extension adapter for
OriginTermLabel s and OriginTermLabelVisualizer s. |
OriginTermLabelVisualizer |
This UI component visualizes the
OriginTermLabel s of a term and its sub-terms. |
ShowOriginAction |
Opens a
OriginTermLabelVisualizer for the selected term. |
ToggleOriginHighlightAction |
Action to toggle
ViewSettings.isHighlightOrigin() . |
ToggleTermOriginTrackingAction |
Action to toggle
TermLabelSettings.getUseOriginLabels() . |
Copyright © 2003-2019 The KeY-Project.