QT Creator: comment changer la taille de la police de menu?

Question

J'utilise QT Creator sur pro4 de surface et la police du menu est trop petit:

Que dois-je faire pour changer la taille de la police?

version: 5,5

Answer 1

Il n'existe aucune option de ce type. Vous devez modify the DPI scaling of windows, ce qui rendra toutes les applications shell «héritées» plus volumineuses pour compenser la haute résolution de l'appareil.

Si vous ne souhaitez pas modifier les paramètres, vous pouvez essayer d'exécuter creator avec un var env QT_SCALE_FACTOR=2.

Créer un startScaled.cmd dans le répertoire du créateur exe avec le contenu:

@echo off 
set QT_SCALE_FACTOR=2 
qtcreator.exe 

et l'utiliser pour commencer créateur mise à l'échelle.

Answer 2

Sur linux mint pour moi, changer la mise à l'échelle DPI de bureau n'aide pas avec la police de barre latérale QT en particulier bien que la plupart des autres choses évoluent.

La méthode de variable de facteur d'échelle fonctionne cependant. Voici le script utilisé et je modifier simplement le raccourci du menu installé pour QtCreator pour l'exécuter au lieu d'exécuter directement l'exécutable QtCreator:

#!/bin/bash 
    #my_qtcreator.sh 
    export QT_SCALE_FACTOR=1.5 
    /opt/Qt/qtcreator-4.2.2/bin/qtcreator