reopen 556985 thanks Further testing reveals that the bug still exists. The record extension in the Xserver should be fixed now, so the bug is probably in the global hotkeys plugin. WM