From 0ef055a2b22cf9f24cd62d66840a7f35c09b9d78 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Mon, 3 Dec 2018 10:58:23 +0100 Subject: [PATCH] Fix typo in docs --- docs/protocol-extensions.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/protocol-extensions.rst b/docs/protocol-extensions.rst index dea6c38ad..e79a86ad9 100644 --- a/docs/protocol-extensions.rst +++ b/docs/protocol-extensions.rst @@ -6,7 +6,7 @@ These are typically in the form of new or re-purposed escape codes. While these extensions are currently |kitty| specific, it would be nice to get some of them adopted more broadly, to push the state of terminal emulators forward. -The goal of these extensions is to be as small an unobtrusive as possible, +The goal of these extensions is to be as small and unobtrusive as possible, while filling in some gaps in the existing xterm protocol. In particular, one of the goals of this specification is explicitly not to "re-imagine" the tty. The tty should remain what it is -- a device for efficiently processing text