1. 2008-08-25 [Bug 169793] "Highlighting" is not saved for unknown kdevelop- ibc 2. 2008-08-25 [Bug 169793] "Highlighting" is not saved for unknown kde-bugs- ibc 3. 2008-08-25 [Bug 169793] "Highlighting" is not saved for unknown kdevelop- Andreas Pakulat 4. 2008-08-25 [Bug 169793] "Highlighting" is not saved for unknown kde-bugs- Andreas Pakulat