On Sun, Jan 22, 2012, Dotan Shavit wrote about "Re: Getting rid of proprietary fonts": > >I wonder if anybody knows how I can use OpenOffice, or some other tool, > >to find *where* in the document a certain font is being used? > > Hmm... Save as HTML ?
Thanks for the idea. This is ugly, and tedious, but it actually works and I finally was able to find and remove all the references to those nasty non-free fonts. I still wonder if there isn't a much easier way. Some "search font" form in OpenOffice, or a utility to turn all text in some font to pink ;-) Thanks, Nadav. -- Nadav Har'El | Sunday, Jan 22 2012, [email protected] |----------------------------------------- Phone +972-523-790466, ICQ 13349191 |Attention: There will be a rain dance http://nadav.harel.org.il |Friday night, weather permitting. _______________________________________________ Linux-il mailing list [email protected] http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
