Stefan Monnier <monnier@iro.umontreal.ca> schrieb am Mon Feb 09 2015 at 6:12:20 PM:
> gnome-terminal gets adjusted to 200, so I assume that the test for >= 203
> should be OK and cover both xterm and hterm.

Indeed, sounds good.  Can someone prepare a patch for that feature?


I'm on it.