]> git.tue.mpg.de Git - paraslash.git/commit
gui: Improve loglevel message.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 4 Dec 2022 19:21:55 +0000 (20:21 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 11 Mar 2023 18:16:46 +0000 (19:16 +0100)
commitae8d8fcfdeee15ea2720b0103a00e04537927035
tree6ed7623e8cd68e16fff92011a19da4c7fab20b5a
parentbbe5e72fc114e601fe2a6e6ec2b46b33c2def762
gui: Improve loglevel message.

When changing the log level, show the new severity string rather than
its numerical representation.
gui.c