Skip to content

Hide most help panel commands in command palette#1327

Merged
renkun-ken merged 1 commit intoREditorSupport:masterfrom
renkun-ken:hide-help-panel-commands
Mar 12, 2023
Merged

Hide most help panel commands in command palette#1327
renkun-ken merged 1 commit intoREditorSupport:masterfrom
renkun-ken:hide-help-panel-commands

Commits

Commits on Mar 12, 2023