gnome-terminal is an unusual app with a server and a client. I think it might be easiest if the Relaunch button would not show for crashes related to gnome-terminal.
gnome-terminal is an unusual app with a server and a client. I think it might be easiest if the Relaunch button would not show for crashes related to gnome-terminal.