Le jeudi 18 septembre 2008, à 21:53 +0200, Kjartan Maraas a écrit : > [EMAIL PROTECTED] share]$ find . -name *.ui | xargs grep page_size
You should look for glade files too, I guess. Vincent -- Les gens heureux ne sont pas pressés. _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list