let
string_of_mod_key =
Configwin
.key_to_string