Acabei resolvendo esse problema sozinho. A solução, para mim, era um programa chamado arandr
. arandr
, até onde eu sei, é uma GUI para xrandr
- a ferramenta de linha de comando para gerenciar layouts de monitor.
Eu instalei o programa com:
sudo apt install arandr
Era fácil de usar e funcionava perfeitamente. Ainda não sei por que a ferramenta interna não funciona, mas estou feliz de ter o problema resolvido.
(Presumivelmente, você também poderia resolver isso usando xrandr
se você sabe o que está fazendo. Infelizmente, eu não sei.)