Re: [ANNOUNCEMENT] Updated: mintty 2.9.4
On 2018-11-13 16:10, Thomas Wolff wrote:
> Am 13.11.2018 um 22:16 schrieb Brian Inglis:
>> On 2018-11-13 11:31, Achim Gratz wrote:
>>> Thomas Wolff writes:
>>> There are many applications that simply don't give you the option to
>>> chose from such multi-typed selections (which makes it even more
>>> important that the application capable of producing them can be
>>> configured). In fact, the only ones I know of are MS Office and then
>>> they don't always give you that choice in an unobtrusive or convenient
>>> way and sometimes not at all depending on context.
>> If you insist on pasting HTML, please enclose each clip in <pre> preformatted
>> text tags, with symbolic character entities for &, <, >, and numeric character
>> entities for non-ASCII UTF-8 characters, output enclosed in <samp> sample output
>> tags, input enclosed in <kbd> keyboard input tags, <strong> and <style> tags for
>> font and colour effects.
> Bold is represented as class=bd, like in xterm-generated HTML. <pre> is used
> globally, <class> vs. <style> is a matter of taste to some extent, I was
> following xterm here. Why <samp> or <kbd>, I don't see, and what's "input" after
> it's been echoed to a terminal screen?
Classes may not have consistent or any defaults across apps and browsers.
OpenOffice Paste Special C-S-v offers me all four formats (plain text, RTF,
HTML, HTML no comments) but the content appears to be the same with only pre
and table formats, no attributes in any formatting.
Does mintty being run under X make any difference to e.g. colour attributes?
Mintty knows the difference between typed and echoed input and generated output,
so can appropriately tag content: if it's not echoed input, it's output.
> There is an initial meta charset=UTF-8, so the encoding should be fine, and
> clearly readable rather than cryptic entities.
>> If would be great if you could intercept all screenshot attempts and generate
>> HTML instead, as most screenshot pastes (or worse, videos) show huge windows
>> with little useful content in tiny unreadable fonts, and little context to
>> explain relevant content e.g. on github mintty project issues ;^>
> By intercept screen attempts you mean the Alt+PrtScrn key event? Mintty could
> easily generate HTML additionally in that case, better not instead.
That may be a matter of opinion, but agreed!
Take care. Thanks, Brian Inglis, Calgary, Alberta, Canada
This email may be disturbing to some readers as it contains
too much technical detail. Reader discretion is advised.
Problem reports: http://cygwin.com/problems.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple