[utilities/kate/release/20.08] doc/katepart: Highlight documentation: add feature of comment position

Git commit 723543f3dfb25e8193dd5f1efbe89272c2ff5196 by Christoph Cullmann, on behalf of Nibaldo González. Committed on 18/07/2020 at 17:37. Pushed by cullmann into branch 'release/20.08'. Highlight documentation: add feature of comment position M +11 -2doc/katepart/development.docbook ht

[utilities/kate] doc/katepart: Highlight documentation: add feature of comment position

Git commit c687e4fa3394d165a588d7cc587850bda7f482a3 by Christoph Cullmann, on behalf of Nibaldo González. Committed on 18/07/2020 at 17:33. Pushed by cullmann into branch 'master'. Highlight documentation: add feature of comment position M +11 -2doc/katepart/development.docbook https://i