const DEFAULT_OPTIONS: HotkeysProviderOptions = {};