GNOME Bugzilla – Bug 608930
Respect button icon setting
Last modified: 2011-08-14 15:27:14 UTC
PiTiVi 0.13.3 does not respect GNOME's button icon setting. It just always shows icons on buttons.
You mean that for the playback icons only, right? All other toolbars respect the gnome/gtk toolbar settings, I just tested.
Heh, no... I did not make myself clear. I was not talking about sizes etc, but /desktop/gnome/interface/buttons_have_icons=false With this mode (gnome2.28 default), pitivi still shows icons on dialog buttons... see for example the close button in preferences or all the buttons on the bottom of the plugins window.
How strange, I have tried looking all over the place in the code with "git grep" and can't figure out where pitivi forces the display of icons in buttons.
Ah-ha, found it! commit 24a13dae34de9c70bd51c39f1568454c4257dece Author: Alessandro Decina <alessandro.d@gmail.com> Date: Fri Sep 4 17:28:26 2009 +0200 Force the play button to be visible, regardless of the gtk-button-images setting.
The problem is that if we revert that commit, the play/pause button and the "clear" button (on effects and whatnot) never show. Need some fix for that.
I have a branch that addresses this here: https://github.com/nekohayo/pitivi/commits/remove-button-icons The problem is that the "gtk-media-play" (or gtk.STOCK_MEDIA_PLAY) icon does not show up, and I can't figure out why, it doesn't make any sense.
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report. Relevant commits: 1e7ae to cc974