1. 2014-11-01 [kate] [Bug 339338] Extension "Highlight Selection" n kde-bugs- Dominik Haumann 2. 2014-11-01 [kate] [Bug 339338] Extension "Highlight Selection" n kde-bugs- Dominik Haumann 3. 2014-10-11 Re: [kate] [Bug 339338] Extension "Highlight Selectio kwrite-de Dominik Haumann 4. 2014-09-23 [kate] [Bug 339338] Extension "Highlight Selection" n kde-bugs- Christoph Cullmann