Mae mía Joseee. Si tienes una de esas horribles nuevas versiones con GTK: Preferences-->Settings-->Machine-->Model. A la derecha te aparecerán varias opciones, entre ellas "Display width". Por cierto. en "model" selecciona "PET 4016"
Ahhh bien!!! no tengo esa horrible versión GTK, pero veo tus indicaciones me sirvieron, en la versión SDL2 es F12 --> Machine settings --> Select PET model --> 4016
