1. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de Roberto Alsina 2. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de rik 3. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de rik 4. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de glaurent 5. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de rik 6. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de glaurent 7. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de Lars Knoll 8. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de Roberto Alsina 9. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de glaurent 10. 2001-01-29 Re: So we really want *pixel* sizes (was Font size setting kde-core-de Matthias Ettrich 11. 2001-01-28 Re: So we really want *pixel* sizes (was Font size setting kde-core-de by way of Guillaume L 12. 2001-01-28 Re: So we really want *pixel* sizes (was Font size setting kde-core-de Lars Knoll 13. 2001-01-28 So we really want *pixel* sizes (was Font size setting inc kde-core-de Guillaume Laurent