Terminal do Gnome: não é possível arrastar a guia para fora da janela

Question

Quando tento arrastar uma guia fora do painel da janela, não consigo fazer isso. Arrastar para dentro (rearranjar) é possível.

Isso é tão óbvio que tenho certeza de que estou perdendo alguma coisa, já que existem vídeos na internet mostrando que isso pode ser feito, mas ... não posso.

Estou usando o 17.10, Ubuntu no Xorg, atualizado de uma distribuição antiga.

    

Answer 1

Parece que isso foi desativado porque causa o travamento do Terminal do GNOME. Veja bug # 769161 :

% bl0ck_qu0te%