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. _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
