Philipp Stephani <p.stephani2@gmail.com> schrieb am Di., 10. Feb. 2015 um
11:30 Uhr:

>
>
> 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.
>

Attached a patch.