subdiff added a comment.
I would just delete it, because as you say having the same settings in two
places is messy. But if there is a nice way of informing the user about the
different place of the setting, we should do that.
rUSERMANAGER User Manager
To: davidedmundson, #plasma
Cc: subdiff, plasma-devel, lesliezhai, ali-mohamed, jensreuterberg, abetts,