Yes, I detach the tab by right-clicking and chooing "detach Tab" from the
context manu - not by drag-and-drop.
So yes, it looks like it might be a duplicate of of bug 2049923. Thanks for
pointing that out!
Let me know if you need logs or anything else from my side.
regards,
Thomas
--
You rece
How do you _exactly_ detach a tab?
Do you drag-n-drop it outside of the window? This action is disabled in
upstream GNOME Terminal (exactly because we know GTK can segfault here)
and I can't seem to find an Ubuntu patch that would re-enable it.
Or do you right-click and choose Detach? If so, isn'
