hotkey_manager_platform_interface
A common platform interface for the hotkey_manager plugin.
Usage
To implement a new platform-specific implementation of hotkey_manager, extend HotKeyManagerPlatform
with an implementation that performs the platform-specific behavior, and when you register your plugin, set the default HotKeyManagerPlatform
by calling HotKeyManagerPlatform.instance = MyPlatformHotKeyManager()
.