Add feature to copy HTML from terminal
Review Request #119914 - Created Aug. 23, 2014 and submitted
This patch adds a support for copying HTML formatted text from terminal. It is quite short, as Konsole already has code to export history to HTML.
It shouldn't break anything.