Mark duplicate hotkeys

This commit is contained in:
Benjamin Brandmeier
2022-12-18 13:34:06 +01:00
committed by Eugene
parent bc243a2741
commit 72bc58332d
7 changed files with 77 additions and 28 deletions

View File

@@ -3,6 +3,11 @@ export interface HotkeyDescription {
name: string
}
export interface Hotkey {
strokes: string[] | string; // may be a sequence of strokes
isDuplicate: boolean;
}
/**
* Extend to provide your own hotkeys. A corresponding [[ConfigProvider]]
* must also provide the `hotkeys.foo` config options with the default values