be89530857
Updated ibus-HEAD.patch - Fixed prev/next keys without global engine. Updated ibus-xx-bridge-hotkey.patch for f16 - Fixed Bug 747902 - mouse and ctrl+space not working - Fixed Bug 749770 - IME hotkey after Control + Space Updated ibus-711632-fedora-fallback-icon.patch - Fixed Bug 717831 - use old icon for desktops other than gnome
43 lines
1.7 KiB
Diff
43 lines
1.7 KiB
Diff
--- ibus/ibus/_config.py.in.orig 2011-11-01 18:32:09.235894859 +0900
|
|
+++ ibus/ibus/_config.py.in 2011-11-02 10:26:40.672355868 +0900
|
|
@@ -47,10 +47,14 @@ def get_license():
|
|
|
|
def get_ICON_KEYBOARD():
|
|
import gtk
|
|
- theme = gtk.icon_theme_get_default()
|
|
icon = '@IBUS_ICON_KEYBOARD@'
|
|
+ fallback_icon = 'ibus-keyboard'
|
|
+ settings = gtk.settings_get_default()
|
|
+ if settings.get_property('gtk-icon-theme-name') != 'gnome':
|
|
+ icon = fallback_icon
|
|
+ theme = gtk.icon_theme_get_default()
|
|
if not theme.lookup_icon(icon, 18, 0):
|
|
- icon = 'ibus-keyboard'
|
|
+ icon = fallback_icon
|
|
return icon
|
|
|
|
def use_bridge_hotkey():
|
|
--- ibus/ui/gtk/main.py.orig 2011-04-25 12:33:39.296999692 +0900
|
|
+++ ibus/ui/gtk/main.py 2011-06-08 11:53:44.027232075 +0900
|
|
@@ -86,6 +86,9 @@ class UIApplication:
|
|
pass
|
|
|
|
def launch_panel(replace):
|
|
+ settings = gtk.settings_get_default()
|
|
+ if settings.get_property('gtk-fallback-icon-theme') == None:
|
|
+ settings.set_property('gtk-fallback-icon-theme', 'gnome')
|
|
# gtk.settings_get_default().props.gtk_theme_name = "/home/phuang/.themes/aud-Default/gtk-2.0/gtkrc"
|
|
# gtk.rc_parse("./themes/default/gtkrc")
|
|
UIApplication(replace).run()
|
|
--- ibus/ui/gtk/panel.py.orig 2011-11-01 18:31:49.845898037 +0900
|
|
+++ ibus/ui/gtk/panel.py 2011-11-01 18:31:34.480900329 +0900
|
|
@@ -654,7 +660,7 @@ class Panel(ibus.PanelBase):
|
|
menu = gtk.Menu()
|
|
item = gtk.ImageMenuItem(_("No input window"))
|
|
size = gtk.icon_size_lookup(gtk.ICON_SIZE_MENU)
|
|
- item.set_image(_icon.IconWidget("gtk-info", size[0]))
|
|
+ item.set_image(_icon.IconWidget("gtk-dialog-info", size[0]))
|
|
menu.add(item)
|
|
menu.show_all()
|
|
else:
|