Aqui está uma solução super fácil.
Reinstale o gnome-tweak-tool com
sudo apt-get install gnome-tweak-tool
Execute a ferramenta Tweak
escolha Windows e altere a configuração das teclas de ação do Windows de Disabled para ALT
Isso desfará a alteração feita e fará com que os botões funcionem como antes.