diff options
author | Christian Persch <chpe@src.gnome.org> | 2021-02-04 18:40:51 +0100 |
---|---|---|
committer | Christian Persch <chpe@src.gnome.org> | 2021-02-04 18:40:51 +0100 |
commit | 9936d4d75b30793ca9f4f1baeda9270fa95562ee (patch) | |
tree | 036fa59cc7132cf739edcc341140240fbf2000c2 | |
parent | 7619bf481882ec34ddcc1da6dfbb05891fc047ab (diff) | |
download | vte-9936d4d75b30793ca9f4f1baeda9270fa95562ee.tar.gz |
parser: cat: Make linter warn on unsupported RLogin DECGCI extension
-rw-r--r-- | src/parser-cat.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/parser-cat.cc b/src/parser-cat.cc index 564ab739..fec7d1b1 100644 --- a/src/parser-cat.cc +++ b/src/parser-cat.cc @@ -836,6 +836,12 @@ public: break; } + case 3: /* RGB truecolour. + * This is an RLogin extension and not supported by VTE. + */ + warn("DECGCI RGB truecolour extension is not supported"); + break; + case 0: default: warn("DECGCI unknown colour coordinate system %d", seq.param(1)); |