release 1.13.11: warn/error filter keeps dimmed context lines

When filtering by warnings or errors, show ±3 neighbouring log lines
grayed out so phase/group context remains visible; dashed gaps between
non-contiguous clusters.
This commit is contained in:
Hernâni Marques 2026-07-19 04:13:26 +02:00
parent d7831b2374
commit d47cf43e56
No known key found for this signature in database
GPG key ID: CB5738652768F7E9
3 changed files with 102 additions and 16 deletions

View file

@ -1 +1 @@
1.13.10
1.13.11