Use gtk.Builder.get_name for widget IDs
commitc8a527020f86c6f5cf8cef28276b7ebb12d2fc22
authorThomas Perl <thp@thpinfo.com>
Thu, 21 Jan 2010 23:21:47 +0000 (22 00:21 +0100)
committerThomas Perl <thp@thpinfo.com>
Thu, 21 Jan 2010 23:21:47 +0000 (22 00:21 +0100)
tree313b01a4bb487f654d51b54715a42c5a4a87f072
parentb20357f83220765aec4b61f3e01577fbdcb307cf
Use gtk.Builder.get_name for widget IDs

This makes gPodder work again for newer versions
of GTK+ that have the bug with the widget name and
the GtkBuilder ID fixed. Thanks to Sampo Savola
and Klaus Doblmann for reporting the bug and
testing the fix on different platforms.
src/gpodder/gtkui/base.py