Hi, Often I'm searching on the developer.gnome.org site for API description of a certain widget I want to use. So I made a search plugin for it, which I thought people on this list might like. You can install it from here if you like.
http://www.searchplugins.net/pluginlist.aspx?q=gnome&mode=title Click on the "I" of I|S|R to install it. Happy searching Jaap _______________________________________________ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-app-devel-list