This commit is contained in:
Eelco Dolstra 2017-08-25 15:44:15 +02:00
parent 0e9ddcc306
commit a3015db6c3
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -1171,7 +1171,7 @@ string filterANSIEscapes(const string & s, bool nixOnly)
}
} else {
r += c;
if (c >= 0x40 && c != 0x7e) {
if (c >= 0x40 && c <= 0x7e) {
if (nixOnly && (c != 'p' && c != 'q' && c != 's' && c != 'a' && c != 'b'))
t += r;
state = stTop;