Comment 3 for bug 1396804

Revision history for this message
Simon Steinbeiß (ochosi) wrote :

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.