Sidebar: fix compatibility with older GTK+
commitc71b014a0a70933e2d0ec21d6095d8792cffed06
authorOwen W. Taylor <otaylor@fishsoup.net>
Sun, 23 Oct 2011 15:10:39 +0000 (23 11:10 -0400)
committerOwen W. Taylor <otaylor@fishsoup.net>
Sun, 23 Oct 2011 15:11:40 +0000 (23 11:11 -0400)
treef4cd71ab1e9e22e4a190a682ffcd57576cc26aee
parentd59117341f97095367c3ca5d4197b7057a217e04
Sidebar: fix compatibility with older GTK+

gtk.Widget.get_mapped() is a recent addition, so use
gtkWidget.flags() instead.

(Found by Robert Schroll)
lib/reinteract/sidebar.py