From df03a8850c17e32236c2a94986f9f4c64b27ea5e Mon Sep 17 00:00:00 2001
From: codesoap <codesoap@mailbox.org>
Date: Tue, 18 Jun 2019 11:52:33 +0200
Subject: [PATCH] Comment on the escape sequence for setting the terminal's
 title

---
 rc/windowing/repl/x11.kak | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rc/windowing/repl/x11.kak b/rc/windowing/repl/x11.kak
index 451259bc..908645d5 100644
--- a/rc/windowing/repl/x11.kak
+++ b/rc/windowing/repl/x11.kak
@@ -15,6 +15,7 @@ All optional parameters are forwarded to the new window} \
            exit
         fi
         if [ $# -eq 0 ]; then cmd="${SHELL:-sh}"; else cmd="$@"; fi
+        # The escape sequence in the printf command sets the terminal's title:
         setsid ${kak_opt_termcmd} "printf '\e]2;kak_repl_window\a' \
                 && ${cmd}" < /dev/null > /dev/null 2>&1 &
 }}