view .hgtags @ 58:9cbb0f8a66c4

Add setting to disable preferences widgets This just makes the widgets in the preferences application insensitive, settings can still be changed by directly editing the configuration file.
author Guido Berhoerster <guido+pui@berhoerster.name>
date Tue, 06 Sep 2022 19:11:21 +0200
parents dd66f6477297
children 346153e041a0
line wrap: on
line source

7f995e9587036797be9ff3f925309578014360f1 version-1
513f5478a711c8fa9a7609d6234ea0dced956bd0 version-2
4196eacbe940b5a3661f6de083c8dcae6ce60d66 version-3
74644b419e868742147e07169e9e1035a9ece91e version-4
8c5aee997afa0cb4a0b1f998c5a50024a48f1ac6 version-5
3d130c34ff977f8a3d051c35ff2de91b94856f13 version-6
0d4bb2f8908ae8c411c24813f60825244e39197c version-7