Preserve back navigation when opening settings (#5930)

Co-authored-by: codex <codex@users.noreply.github.com>
5da45337f7Julius Marminge committed on 8/10/2026, 1:55:32 AM· committed by GitHubparentf21d5e4
1 file changedLine totals unavailable