Skip to content

Focus root element#116

Merged
Kr0nox merged 1 commit into
mainfrom
default-focus
Jul 8, 2026
Merged

Focus root element#116
Kr0nox merged 1 commit into
mainfrom
default-focus

focus sprotty root

144d807
Select commit
Loading
Failed to load commit list.
Sign in for the full log view