external add_mnemonic : [>`window] obj -> Gdk.keysym -> [>`widget] obj -> unit = "ml_gtk_window_add_mnemonic"