3 ms·not a big deal then, there's plenty of display managers, and you don't even need one to use gnomeby enriquto 6y agonot a big deal then, there's plenty of display managers, and you don't even need one to use gnome