added definitions for angular-hotkeys