Invoke ws_hotkey_eval() from dispatcher