-
Michel Ludwig authored
This handles the case when the source location changes without a need for the document to be scrolled. Better call 'viewport()->update()' in 'Part::setShowSourceLocationsGraphically'.
d02c86fe
This handles the case when the source location changes without a need for the document to be scrolled. Better call 'viewport()->update()' in 'Part::setShowSourceLocationsGraphically'.