Closed vsimko closed 9 years ago
When clicking the generated *Validator class inside the outline view in Eclipse, the editor jumps on the whole class where an invariant is defined. It should jump to the invariant method instead.
When clicking the generated *Validator class inside the outline view in Eclipse, the editor jumps on the whole class where an invariant is defined. It should jump to the invariant method instead.