Eu encontrei uma solução.
Descobrimos que é uma configuração que pode ser alterada com xrandr
. Para recuperar a proporção correta em todos os modos, a seguinte linha funciona:
xrandr --output DVI-I-1 --set 'scaling mode' None
Aqui DVI-I-1 é a porta DVI a que meu monitor está conectado; isso é facilmente encontrado chamando xrandr
sem opções.
Para que isso seja executado toda vez que eu fizer login, criei um arquivo .xsessionrc
no meu diretório inicial que contém este comando.
Ainda assim, esta solução parece um pouco como um hack; Eu suspeito que há algum lugar em um arquivo de configuração onde isso pode ser definido da maneira "oficial".