I acknowledge the problem, but for the moment I don't see a good solution for this problem.
Renaming is problematic because:
* it creates an inconsistency with other items in the Settings Manager ("Desktop" vs. "Desktop Settings", or "Display" vs. "Display Settings")
* the translations in the desktop file would all have to be updated.
We could also try to hide it from whisker-menu but keep showing it in the Settings Manager, but that again would be inconsistent with the other settings-items showing up in the list.
If anybody has good ideas on how to solve this, don't hesitate to comment.
I acknowledge the problem, but for the moment I don't see a good solution for this problem.
Renaming is problematic because:
* it creates an inconsistency with other items in the Settings Manager ("Desktop" vs. "Desktop Settings", or "Display" vs. "Display Settings")
* the translations in the desktop file would all have to be updated.
We could also try to hide it from whisker-menu but keep showing it in the Settings Manager, but that again would be inconsistent with the other settings-items showing up in the list.
If anybody has good ideas on how to solve this, don't hesitate to comment.