2012-08-22 08:11:55 +00:00
|
|
|
--- ibus-1.4.99.20120822/ui/gtk3/panel.vala.orig
|
|
|
|
|
+++ ibus-1.4.99.20120822/ui/gtk3/panel.vala
|
|
|
|
|
@@ -125,7 +125,7 @@ class Panel : IBus.PanelService {
|
|
|
|
|
if ((switch_modifiers & VIRTUAL_MODIFIERS) != 0) {
|
|
|
|
|
// workaround a bug in gdk vapi vala > 0.18
|
|
|
|
|
// https://bugzilla.gnome.org/show_bug.cgi?id=677559
|
2012-07-17 10:27:02 +00:00
|
|
|
-#if VALA_0_18
|
|
|
|
|
+#if VALA_0_20
|
2012-08-22 08:11:55 +00:00
|
|
|
Gdk.Keymap.get_default().map_virtual_modifiers(
|
|
|
|
|
ref switch_modifiers);
|
2012-07-17 10:27:02 +00:00
|
|
|
#else
|
