mintty
mintty
You would climb up the hierarchy of PPID in the process list as long as the TTY remains the same, until you arrive at a process with a different TTY...
Thank you, your appreciation is much appreciated. And it's properly placed here (they properly call it issue tracker, not bug tracker). I'll think about a way to give a donation...
A donation opportunity is now available on the homepage http://mintty.github.io/.
Thanks a lot for the detailed analysis. I have added safeguards at various places which should hopefully prevent the crash condition. I am not quite sure how to prevent start.y...
For the records, the issue was also reproducible with something like ``` KeyFunctions=A+F12:`pwd` ```
Thanks, that would be caret_width = caret_width ?: 1; in short style, but how about caret_width *= cell_width / 8 + 1; or caret_width *= (cell_width - 1) / 8...
OK, I'll take your patch then and tweak it to get the following instead, to consider high-DPI screens: ``` if (caret_width < (int)dpi / 72) caret_width = dpi / 72;
According to the other issue, this should work if you start it the second time, right?
Released 3.6.1.2. Please retest.
I had the idea for super/sub-script and also shadowed because these attributes are supported by terminfo capabilities. I also got the idea for overstrike from there, although that is not...