Not tested, but I'm guessing GTK+ itself uses [`gtk_accelerator_get_label`](https://developer.gnome.org/gtk3/stable/gtk3-Keyboard-Accelerators.html#gtk-...) or [`gtk_accelerator_get_label_with_keycode`](https://developer.gnome.org/gtk3/stable/gtk3-Keyboard-Accelerators.html#gtk-...) or such to get the translated name for display.