log pui-prefs-application.c @ 66:fba5c74fa914

age author description
Tue, 06 Sep 2022 19:11:21 +0200 Guido Berhoerster Add setting to disable preferences widgets