-
Kai Uwe Broulik authored
This has the advantages of: * not hardcoding them in code so they can be customized by e.g. distros * showing in places like Task Manager and Kickoff Unfortunately the name and icon of the relevant setting has to be duplicated here.
4e59619b