Parece que alterar a configuração de DPI no Windows 7 também altera algumas configurações de fonte no painel de controle "Cor e aparência da janela" do Windows 7 encontrado por Control Panel\All Control Panel Items\Personalization\Window Color and Appearance
, seguido de um clique em "Configurações avançadas de aparência ...".
De qualquer forma, a solução mais fácil no meu caso foi voltar para o tema Aero "Windows 7" em Control Panel\All Control Panel Items\Personalization
, e depois de uma reinicialização, tudo voltou ao normal.