Skip to content

Filter keybindings by section id - #385

Merged
jongio merged 1 commit into
mainfrom
idea/keys-section-filter
Jul 27, 2026
Merged

Filter keybindings by section id#385
jongio merged 1 commit into
mainfrom
idea/keys-section-filter

Commits

Commits on Jul 26, 2026