Enable Markdown support in display of skill description in Skill Manager Gui

Rainer Kartmannrequested to merge
skill-description-markdown-support into master

CC @dreher

After:

image.png

There is a splitter between the description and the arguments tree, so you can reduce the description's size if necessary.

Edited by Rainer Kartmann

Merge request reports