[Bug 1087151] No options to switch DisplayManager with /etc/sysconfig Editor