log org.guido-berhoerster.code.package-update-indicator.gschema.xml @ 66:fba5c74fa914 default tip

age author description
Tue, 06 Sep 2022 19:11:21 +0200 Guido Berhoerster Add setting to disable preferences widgets
Tue, 16 Aug 2022 16:19:02 +0200 Guido Berhoerster Add new setting to hide indicator menu items
Wed, 17 Aug 2022 16:55:17 +0200 Guido Berhoerster Add new setting "always-active"
Sun, 17 Jun 2018 11:05:28 +0200 Guido Berhoerster Add setting to control whether to use a mobile connection
Sun, 20 May 2018 11:32:57 +0200 Guido Berhoerster Initial revision