3 ms·He's talking about gnome-shell, not a gnome terminal.by kleiba 15y agoHe's talking about gnome-shell, not a gnome terminal.