Distinction between press and release key events