Use new GTK tooltips API
commit5628091d37d5e85cae3ce7954bebc8f047fff2d5
authorThomas Leonard <talex5@gmail.com>
Mon, 3 Jan 2011 22:10:46 +0000 (3 22:10 +0000)
committerThomas Leonard <talex5@gmail.com>
Wed, 5 Jan 2011 11:39:46 +0000 (5 11:39 +0000)
tree7caf0bcd62a610494d9101190f7cc857864f24f1
parent92d609f0c467d422dc405e69bc6d9bd1661741d8
Use new GTK tooltips API

Treetips didn't work reliably for some reason and we now depend on GTK >= 2.12
anyway.
zeroinstall/0launch-gui/iface_browser.py
zeroinstall/0launch-gui/impl_list.py
zeroinstall/gtkui/applistbox.py
zeroinstall/gtkui/cache.py
zeroinstall/gtkui/treetips.py [deleted file]