HTML formatting for keyword documentation pop-up #68
Labels
enhancement
Request for improvement: either for an existing feature or a new one
prio-medium
Behaving incorrectly, but still somewhat usable
Milestone
The documentation pop-up shown for keywords uses raw documentation text.
Benefits of using HTML formatted version include:
It should be possible to use libdoc.py tool for formatting, but it probably
needs some new APIs.
The text was updated successfully, but these errors were encountered: