wip/gtkhotkey/patches
