I tried to reproduce bug. I added gnome-terminal and restarted Gnome. However, gnome-terminal is started and it is still in the list.
I tried to reproduce bug. I added gnome-terminal and restarted Gnome.
However, gnome-terminal is started and it is still in the list.