chore(react/global_menu): add missing command names

This commit is contained in:
Elian Doran
2025-08-29 15:02:56 +03:00
parent 70440520e1
commit 4df94d1f20

View File

@@ -89,6 +89,11 @@ export type CommandMappings = {
closeTocCommand: CommandData;
closeHlt: CommandData;
showLaunchBarSubtree: CommandData;
showHiddenSubtree: CommandData;
showSQLConsoleHistory: CommandData;
logout: CommandData;
switchToMobileVersion: CommandData;
switchToDesktopVersion: CommandData;
showRevisions: CommandData & {
noteId?: string | null;
};