let string_of_mod_key = Configwin.key_to_string