Repository navigation
Editor: Don't move focus to the editor when switching editor mode - #12786
Closed
shrivastavanolo wants to merge 1 commit into
Closed
shrivastavanolo wants to merge 1 commit into
shrivastavanolo wants to merge 1 commit into
Commits
Commits on Jul 31, 2026