--- ibus-1.5.0/ui/gtk3/panel.vala.f18 2012-12-07 03:18:10.000000000 +0800 +++ ibus-1.5.0/ui/gtk3/panel.vala 2012-12-08 11:55:48.217114256 +0800 @@ -110,7 +110,7 @@ if ((switch_modifiers & VIRTUAL_MODIFIERS) != 0) { // workaround a bug in gdk vapi vala > 0.18 // https://bugzilla.gnome.org/show_bug.cgi?id=677559 -#if VALA_0_18 +#if VALA_0_20 Gdk.Keymap.get_default().map_virtual_modifiers( ref switch_modifiers); #else