Now, another question: How can I set the taskbar icon? No matter how much I try, it seems I can't do it. I have copied the icon to /usr/share/pixmaps and /usr/share/icons/hicolor/26x26/hildon, updated the icon cache, and created a .desktop file. The icon shows in the menu, but not in the taskbar. gtk.window_set_default_icon() doesn't seem to work.