# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1636221180 -3600
# Node ID 5131ed9163c0c7251f6ea806dfee3248378663a4
# Parent  691dbd78981c1a2ec973f66c107eaae5a016d83a
cli (base): use `XTERM_VERSION` to detect XTerm:

Using `TERM` is not good as it is used by other terminal emulators which are incompatible
with ANSI sequences (seen with `cool-retro-term`).

diff -r 691dbd78981c -r 5131ed9163c0 sat_frontends/jp/base.py
--- a/sat_frontends/jp/base.py	Sat Nov 06 17:09:28 2021 +0100
+++ b/sat_frontends/jp/base.py	Sat Nov 06 18:53:00 2021 +0100
@@ -131,7 +131,7 @@
         if ((sys.stdin.isatty() and sys.stdout.isatty()
              and (
                  # XTerm
-                 os.getenv("TERM", "") in {"xterm"}
+                 os.getenv("XTERM_VERSION")
                  # Konsole
                  or os.getenv("KONSOLE_VERSION")
                  # All VTE based terminals