1. 2013-02-26 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Dominik Haumann 2. 2013-02-15 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis David Faure 3. 2013-02-15 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Burkhard Lueck 4. 2013-02-12 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Dominik Haumann 5. 2013-02-12 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Mike Robinson 6. 2013-02-11 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Will Stephenson 7. 2013-02-10 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Dominik Haumann 8. 2013-02-10 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Dominik Haumann 9. 2013-02-10 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Michael 10. 2013-02-10 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Jekyll Wu 11. 2013-02-10 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis andreas.sturmlechner 12. 2013-02-10 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Tonurics 13. 2013-02-09 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis FiNeX 14. 2013-02-09 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis elvenfighter 15. 2013-02-08 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Marian Kyral 16. 2013-02-08 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis david.martin.it 17. 2013-02-08 [kate] [Bug 314530] [PATCH] "highlight selection" plugin is missing from kde-bugs-dis Dominik Haumann