[1.2.x]Hotkey Manager

[petersohn]

This is an API that allows other mods to define custom hotkeys. These hotkeys can be configured in a centralized hotkey configurator dialog.

Out of the box, this mod does nothing. It's a plugin that can be used by other mods.

For a full documentation, please see the Github page.

Changelog:

v0.1.0:

• First release.

v0.2.0:

• Fix exception when trying to remove nonexisting element.
• Add method to iterate through hotkeys in a group.
• Trigger only on fixed updates.

Source Code

Binary Release

Edited December 18, 2016 by petersohn

[petersohn]

v0.2.0 is out.