switched off unused-paramter warning for lib-essential gui files
authorFriedrich Beckmann <friedrich.beckmann@gmx.de>
Sat, 29 Aug 2020 22:26:35 +0000 (00:26 +0200)
committerFriedrich Beckmann <friedrich.beckmann@gmx.de>
Sat, 29 Aug 2020 22:26:35 +0000 (00:26 +0200)
I disabled the unused-parameter warning as for the other
gui files. Same as before the introduction of the essential
library.


No differences found