1. 2011-10-28 [Bug 285162] New: not possible to set font type / siz kdevelop- Gerhard 2. 2011-10-28 [Bug 285162] New: not possible to set font type / siz kde-bugs- Gerhard