copyleftie
/
gajim-plural
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Change history icon if theme have 'document-open-recent' icon. Fixes #6893

This commit is contained in:
Denis Fomin 2013-08-23 11:26:48 +04:00
parent 293d249417
commit 4dcfba32b1
1 changed files with 19 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/roster_window.py
View File

@ -5219,6 +5219,12 @@ class RosterWindow:
""" """
if not force and not self.actions_menu_needs_rebuild: if not force and not self.actions_menu_needs_rebuild:
return return
history_menuitem = self.xml.get_object('history_menuitem')
if gtkgui_helpers.gtk_icon_theme.has_icon('document-open-recent'):
history_icon = gtk.Image()
history_icon.set_from_icon_name('document-open-recent',
gtk.ICON_SIZE_MENU)
history_menuitem.set_image(history_icon)
new_chat_menuitem = self.xml.get_object('new_chat_menuitem') new_chat_menuitem = self.xml.get_object('new_chat_menuitem')
single_message_menuitem = self.xml.get_object( single_message_menuitem = self.xml.get_object(
'send_single_message_menuitem') 'send_single_message_menuitem')
@ -6141,7 +6147,12 @@ class RosterWindow:
menu.append(item) menu.append(item)
history_menuitem = gtk.ImageMenuItem(_('_History')) history_menuitem = gtk.ImageMenuItem(_('_History'))
history_icon = gtk.image_new_from_stock(gtk.STOCK_JUSTIFY_FILL, \ if gtkgui_helpers.gtk_icon_theme.has_icon('document-open-recent'):
history_icon = gtk.Image()
history_icon.set_from_icon_name('document-open-recent',
gtk.ICON_SIZE_MENU)
else:
history_icon = gtk.image_new_from_stock(gtk.STOCK_JUSTIFY_FILL,
gtk.ICON_SIZE_MENU) gtk.ICON_SIZE_MENU)
history_menuitem.set_image(history_icon) history_menuitem.set_image(history_icon)
history_menuitem .connect('activate', self.on_history, contact, account) history_menuitem .connect('activate', self.on_history, contact, account)
@ -6219,6 +6230,10 @@ class RosterWindow:
# History manager # History manager
item = gtk.ImageMenuItem(_('History Manager')) item = gtk.ImageMenuItem(_('History Manager'))
if gtkgui_helpers.gtk_icon_theme.has_icon('document-open-recent'):
icon = gtk.Image()
icon.set_from_icon_name('document-open-recent', gtk.ICON_SIZE_MENU)
else:
icon = gtk.image_new_from_stock(gtk.STOCK_JUSTIFY_FILL, icon = gtk.image_new_from_stock(gtk.STOCK_JUSTIFY_FILL,
gtk.ICON_SIZE_MENU) gtk.ICON_SIZE_MENU)
item.set_image(icon) item.set_image(icon)