-
Michel Ludwig authored
The method 'showSourceLocation' has been extended with a new parameter which controls whether the given source location is shown graphically. A new method 'clearLastShownSourceLocation' has been added; and a corresponding implementation is provided.
1be2696c