-
Committer:
RabbitBot
-
Author(s):
Tom Beckmann, Rico Tzschichholz
-
Date:
2014-10-20 08:40:34 UTC
-
mfrom:
(414.2.7 api-updates)
-
Revision ID:
rabbitbot-20141020084034-dvdvsv290gkgovw6
windowmanager: update modal API with proper support for keybindings
Add docs to WindowManager interface, rework modal mode handling API and add functionality to control keybinding filtering, add interface to properly replace core components with plugins.