From 80e3c871cefc4266c1603b845e4e9cc2b48cf19c Mon Sep 17 00:00:00 2001 From: nick black Date: Fri, 7 May 2021 06:15:12 -0400 Subject: [PATCH] graphics-protocol.rst: s/and/an/ --- docs/graphics-protocol.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/graphics-protocol.rst b/docs/graphics-protocol.rst index 15ad83ff4..6406e0325 100644 --- a/docs/graphics-protocol.rst +++ b/docs/graphics-protocol.rst @@ -472,7 +472,7 @@ Requesting image ids from the terminal If you are writing a program that is going to share the screen with other programs and you still want to use image ids, it is not possible to know what image ids are free to use. In this case, instead of using the ``i`` -key to specify and image id use the ``I`` key to specify and image number +key to specify an image id use the ``I`` key to specify an image number instead. These numbers are not unique. When creating a new image, even if an existing image has the same number a new one is created. And the terminal will reply with the id of the newly created