From 05c9d67ffc65d06379031345f0c4c299f7daf631 Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 28 Jun 2014 18:51:04 +0200 Subject: [PATCH] Made the tab, space and linebreak ansi characters case-insensitive. Resolves #522. --- src/utils/ansi.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/utils/ansi.py b/src/utils/ansi.py index 090cd37596..72b6f8006a 100644 --- a/src/utils/ansi.py +++ b/src/utils/ansi.py @@ -223,8 +223,11 @@ class ANSIParser(object): (r'%cn', ANSI_NORMAL), (r'%ch', ANSI_HILITE), (r'%r', ANSI_RETURN), + (r'%R', ANSI_RETURN), (r'%t', ANSI_TAB), + (r'%T', ANSI_TAB), (r'%b', ANSI_SPACE), + (r'%B', ANSI_SPACE), (r'%cf', ANSI_BLINK), # annoying and not supported by all clients (r'%ci', ANSI_INVERSE),