mirror of
https://github.com/dergigi/boris.git
synced 2026-01-17 05:44:24 +01:00
- Preserve highlights that belong to the current article when switching articles - Only clear highlights that don't match the current article coordinate or event ID - Improve user experience by maintaining relevant highlights during navigation