config: move cursor.hide-when-typing to mouse.hide-when-typing

This commit is contained in:
Daniel Eklöf 2020-08-04 07:33:15 +02:00
parent 8f04e898af
commit d929862245
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
6 changed files with 38 additions and 10 deletions

View file

@ -25,7 +25,7 @@
* **pipe-selected** key binding. Works like **pipe-visible** and
**pipe-scrollback**, but only pipes the currently selected text, if
any (https://codeberg.org/dnkl/foot/issues/51).
* **cursor.hide-when-typing** option to `footrc.
* **mouse.hide-when-typing** option to `footrc`.
* **scrollback.multiplier** option to `footrc`
(https://codeberg.org/dnkl/foot/issues/54).