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.)
