OK, parece que resolvi esse problema, de alguma forma ou de outra. Aqui está o que eu fiz:
- Eu saio do VirtualBox (tanto o vm quanto a janela gráfica do VirtualBox Manager);
- No prompt
cmd
do host do Windows, eu corri:
C:\>cd "c:\Program Files\Oracle\VirtualBox"
C:\Program Files\Oracle\VirtualBox>VboxManage setextradata "<vmname>" "CustomVideoMode1" "1280x800x16"
(Obviamente, substitua<vmname>
pelo nome real de sua vm e substitua a sequência de especificação de resolução pela apropriada para seu monitor. Observe também que o último caractere no argumentoCustomVideoMode1
é o dígito 1 , e não a letra "l". Com algumas fontes os dois caracteres são praticamente indistinguíveis. BTW, mais modelos personalizados podem ser especificados, usando um comando similar, com argumentos da formaCustomVideoMode2
,CustomVideoMode3
e assim por diante, acredito,CustomVideoMode16
.) - reiniciei o VirtualBox e a VM; (neste ponto, observei que não houve alteração na aparência da exibição nem nas opções de resolução disponíveis em
System Settings > Displays
); - Selecionei
System Settings > Additional Drivers
, selecionei a opçãoOracle VM VirtualBox Guest Additions for Linux Module
e cliquei emActivate
; - eu reiniciei o vm;
- Limpei as lágrimas de alegria dos meus olhos.
Quando a VM voltou, a resolução foi a correta; além disso, agora as opções de resolução disponíveis através do System Settings > Displays
incluem uma opção adicional "1280 x 800 (16:10)" (é, obviamente, a opção atualmente ativa).
Não sei dizer se a execução de VBoxManage setextradata ...
(etapas 1 e 2 acima) fez alguma diferença. IOW, etapas 4 e amp; 5 pode muito bem ter feito o truque.
Além disso, observe que o Oracle VM VirtualBox Guest Additions for Linux Module
foi não ativado mesmo que eu tenha executado anteriormente Devices > Install Guest Additions...
no painel de controle do VirtualBox.