fr., 19.09.2008 kl. 00.36 +0200, skrev Vincent Untz: > 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. > None of the glade files in /usr/share on my machine has a page_size attribute. Am I missing something?
Cheers Kjartan _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
