Merge branch 'birger-patch-1'

This commit is contained in:
Daniel Eklöf 2020-07-25 09:50:45 +02:00
commit 82a33966ed
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
2 changed files with 3 additions and 3 deletions

View file

@ -214,14 +214,14 @@ _Examples_:
By default, foot prefixes meta characters with *ESC*. This corresponds By default, foot prefixes meta characters with *ESC*. This corresponds
to XTerm's *metaSendsEscape* option set to *true*. to XTerm's *metaSendsEscape* option set to *true*.
This can be disabled programatically with *\E[?1036l* (and enabled This can be disabled programmatically with *\E[?1036l* (and enabled
again with *\E[?1036h*). again with *\E[?1036h*).
When disabled, foot will instead set the 8:th bit of meta character When disabled, foot will instead set the 8:th bit of meta character
and then UTF-8 encode it. This corresponds to XTerm's *eightBitMeta* and then UTF-8 encode it. This corresponds to XTerm's *eightBitMeta*
option set to *true*. option set to *true*.
This can also be disabled programatically with *rmm* (Reset Meta Mode, This can also be disabled programmatically with *rmm* (Reset Meta Mode,
*\E[?1034l*), and enabled again with *smm* (Set Meta Mode, *\E[?1034l*), and enabled again with *smm* (Set Meta Mode,
*\E[?1034h*). *\E[?1034h*).

View file

@ -335,7 +335,7 @@ any of these options.
Now, that was a lof of text. But what is it foot actually does? Now, that was a lof of text. But what is it foot actually does?
When receiving client data, it schedules a timer, the When receiving client data, it schedules a timer, the
*delayed-render-lower*. If we do not recieve any more client data *delayed-render-lower*. If we do not receive any more client data
before the timer has run out, we render the frame. If however, we before the timer has run out, we render the frame. If however, we
do receive more data, the timer is re-scheduled. That is, each do receive more data, the timer is re-scheduled. That is, each
time we receive client data, frame rendering is delayed another time we receive client data, frame rendering is delayed another