Originally, dynamicLogString could have a bottom hidden in it and thereby crash the logHook. Under some circumstances (see #801) this could cause xmonad to get stuck. We now force the result, and dynamicLogString catches the exception and substitutes a message (currently "_|_"). Use dynamicLogString' for the old behavior.
Description
Originally,
dynamicLogStringcould have a bottom hidden in it and thereby crash thelogHook. Under some circumstances (see #801) this could cause xmonad to get stuck. We now force the result, anddynamicLogStringcatches the exception and substitutes a message (currently"_|_"). UsedynamicLogString'for the old behavior.Closes: #801
Checklist
[x] I've read CONTRIBUTING.md
[x] I've considered how to best test these changes (property, unit, manually, ...) and concluded: tested manually
[x] I updated the
CHANGES.mdfile