add is_key_pushed function