Check the on-line docs:
http://www.blitzbasic.com/bpdocs/command.php?name=HotKeyEvent&ref=gui_cat
it says you can remove a hotkey like this:
HotKeyEvent rawkey,modifier,0
http://www.blitzbasic.com/bpdocs/command.php?name=HotKeyEvent&ref=gui_cat
it says you can remove a hotkey like this:
HotKeyEvent rawkey,modifier,0