Looks like this timer now is completely useless. Can we remove it? And the keyPressedSinceTimer is also not used anywhere