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