config: add tweak.render-timer option

This can be set to 'none' (the default), 'osd', 'log' or 'both'.

When 'osd' is enabled, we'll render the frame rendering time to a
sub-surface after each frame.

When 'log' is enabled, the frame rendering time is logged on stderr.
This commit is contained in:
Daniel Eklöf 2020-08-13 18:35:17 +02:00
parent c7126c4076
commit 17070a0d54
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
8 changed files with 158 additions and 55 deletions

View file

@ -30,6 +30,7 @@
(https://codeberg.org/dnkl/foot/issues/54).
* **colors.selection-foreground** and **colors.selection-background**
options to `footrc`.
* **tweak.render-timer** option to `footrc`.
### Deprecated