Ok, descobri que alguém decidiu que esse recurso não era realmente útil e foi removido.
link
Acabei de atualizar do Ubuntu 12.04 para o 14.04 (versão GNOME).
Em 12.04, quando entrei no modo de visão geral, eu podia ampliar qualquer janela mostrada movendo o ponteiro do mouse sobre ela e usando a roda do mouse. Isso não tem efeito em 14.04.
É possível ativar essa funcionalidade em 14.04 e como?
Ok, descobri que alguém decidiu que esse recurso não era realmente útil e foi removido.
link
Tags gnome