mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 23:14:55 +02:00
Code Issues Packages Projects Releases Wiki Activity

graphics-protocol.rst: s/and/an/

Browse Source
This commit is contained in:
nick black
2021-05-07 06:15:12 -04:00
parent 74c1e02274
commit 80e3c871ce
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/graphics-protocol.rst
View File

@@ -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 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 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`` 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. instead. These numbers are not unique.
When creating a new image, even if an existing image has the same number a new 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 one is created. And the terminal will reply with the id of the newly created