Comment changer la taille de police entre parenthèses

Je veux changer la taille de la police pour l'édition entre parenthèses de la taille par défaut de 16pt.

Je vais à vue--> thème--> modifier la taille de la police de 16pt ou d'une autre taille, mais elle ne change pas.

OriginalL'auteur Hoang Huu | 2015-11-19

  1. 5

    Allez dans affichage->thèmes->fontsize

    il fonctionne

    OriginalL'auteur sree lakshmi

  2. 7

    I. de la POLICE d'édition

    1. exécuter des crochets en tant qu'administrateur (sudo crochets ou en gagner clic droit...)
    2. Debug -> Ouvrir le fichier de préférences -> ctrl+f "taille"
    3. Enregistrez les deux fichiers -> aller à la vue--> thème et il est changé de taille de police

    II. crochets de l'INTERFACE utilisateur (menu polices) trop Petite sur Ubuntu 16.04 64 bits

    Voir https://github.com/1beb/ui-too-small - il fonctionne pour moi.

    OriginalL'auteur slavko srakocic

  3. 5

    Essayer le raccourci clavier Ctrl++

    yah, c'est du travail pour moi

    OriginalL'auteur mkmp

  4. 0

    Aller à Crochets>affichage >, puis sélectionnez augmenter ou de diminuer la taille des polices dans le menu déroulant. Continuer jusqu'à ce que vous obtenez la taille de police que vous voulez. Pour voir vos modifications aller à Crochets>affichage>thèmes

    OriginalL'auteur Sonya