-
Christian Persch authored
Currently, copying to HTML is disabled (#if 0) in the code, because it will generate the potentially huge selection data in both text and HTML formats. Instead, provide API to tell vte which format to use. https://bugzilla.gnome.org/show_bug.cgi?id=365121
91e9c838