Fix: always update the store if the region changed
Although only line, start changes are visible in the panel, we
MUST update when the region changes otherwise e.g. the tooltips
which rely on correct regions do not work as expected.
@@ -501,12 +501,6 @@ def maybe_update_error_store(view):
line, start = view.rowcol(region.begin())
endLine, end = view.rowcol(region.end())
- if (
- line != error['line']
- or start != error['start']
- or (endLine != error['endLine'] if 'endLine' in error else False)
- or end != error['end']
- ):
error.update({
'region': region,
'line': line,
