> I'll have to check this when it happens the next time
I found a way to reproduce (works every second to third time):
* open a new terminal
* type nothing into the terminal
* press CTRL-SHIT T to create a new tab
* change to that new tab
* type something; I mostly press RETURN three times
* detach that newly created tab
All open instances of gnome-termin terminal close after about half a second
--
Ralf Hildebrandt
Charité - Universitätsmedizin Berlin
Geschäftsbereich IT | Abteilung Netz | Netzwerk-Administration
Invalidenstraße 120/121 | D-10115 Berlin
* Ralf Hildebrandt <email address hidden>:
> I'll have to check this when it happens the next time
I found a way to reproduce (works every second to third time):
* open a new terminal
* type nothing into the terminal
* press CTRL-SHIT T to create a new tab
* change to that new tab
* type something; I mostly press RETURN three times
* detach that newly created tab
All open instances of gnome-termin terminal close after about half a second
-- Administration
Ralf Hildebrandt
Charité - Universitätsmedizin Berlin
Geschäftsbereich IT | Abteilung Netz | Netzwerk-
Invalidenstraße 120/121 | D-10115 Berlin
Tel. +49 30 450 570 155 /www.charite. de
<email address hidden>
https:/