bell: optionally render margins in red when receiving BEL

Add anew config option, ‘bell=none|set-urgency’. When set to
‘set-urgency’, the margins will be painted in red (if the window did
not have keyboard focus).

This is intended as a cheap replacement for the ‘urgency’ hint, that
doesn’t (yet) exist on Wayland.

Closes #157
This commit is contained in:
Daniel Eklöf 2020-10-08 19:55:32 +02:00
parent 7e0cfd46c6
commit 7c6686221f
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
10 changed files with 95 additions and 2 deletions

View file

@ -91,6 +91,22 @@ in this order:
(including SMT). Note that this is not always the best value. In
some cases, the number of physical _cores_ is better.
*bell*
Action to perform when receiving a *BEL* character. Can be set to
either *set-urgency* or *none*.
When set to *set-urgency*, the margins will be painted in red
whenever *BEL* is received while the window does *not* have
keyboard focus. Note that Wayland currently does not have an
_urgency_ hint like X11. The value *set-urgency* was chosen for
forward-compatibility in the hopes that a corresponding Wayland
protocol is added in the future (in which case foot will use that
instead of painting its margins red).
When set to *none*, no special action is taken when receiving *BEL*.
Default: _none_.
# SECTION: scrollback