thomasv 65b13b88f4 disable setting widgets when setting is not modifiable.

2012-10-12 17:40:37 +02:00

5.9 KiB

Raw Blame History

View Raw