An indicator shell extension for IBus 1.4 and GNOME 3.6