check if a key event is undo or redo - View it on GitHub