_gdk_keymap_add_virtual_modifiers() changed to
_gdk_keymap_add_virtual_modifiers_compat() in
commit
13d69e552dffe681ee80c0600366a8c04fc205c6
This patch change the header name too.
Fixes https://bugzilla.gnome.org/show_bug.cgi?id=610063
void _gdk_keymap_keys_changed (GdkDisplay *display);
gint _gdk_x11_get_group_for_state (GdkDisplay *display,
GdkModifierType state);
-void _gdk_keymap_add_virtual_modifiers (GdkKeymap *keymap,
- GdkModifierType *modifiers);
+void _gdk_keymap_add_virtual_modifiers_compat (GdkKeymap *keymap,
+ GdkModifierType *modifiers);
gboolean _gdk_keymap_key_is_modifier (GdkKeymap *keymap,
guint keycode);