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.