Add Copy to HTML feature

This commit adds a "Copy to HTML" entry to the context menu. It is
active when VTE registers an active selection.  Lines copied like this
will be put into the clipboard as formatted HTML, retaining nearly all
styling information.

For this, vte_copy now takes a boolean argument - whether or not to
format the lines copied as HTML. As two menu items now access vte_copy
directly, and there is no clean way of passing arguments to signal
handlers through terminal.ui, signals for both menu items are now
connected in the Vala code instead.

0 files changed, 0 insertions, 0 deletions