As configurações que controlam isso não estão disponíveis nos diálogos de configuração. Tem que ser alterado a partir da linha de comando com gsettings
, assim:
$ gsettings set org.gnome.shell.extensions.classic-overrides edge-tiling false
Depois de executar isso, as janelas mantêm o tamanho mesmo quando eu as movo para o topo da área de trabalho.