Modifier la taille de police des onglets bande dans Sublime Text 3

J'ai utilisé cette réponse, avec un peu d'aide de Sublime 3 Aide, j'ai réussi à port de la solution et de changer la taille de police (et d'autres attributs) de la barre latérale dans mon Sublime Text 3.

Mais comment puis-je changer (plus grande) taille de la police utilisée par ST3 onglet bande? Si c'est possible. Je trouve le nom de fichier onglets dessinés avec 10 pt taille de police assez pas tellement à l'aise sur une résolution FullHD de l'écran. Au moins pour mes yeux.

OriginalL'auteur trejder | 2014-09-03

  1. 25

    Comme indiqué dans la réponse que vous avez lié à, trouver votre <theme>.sublime-theme fichier. L'ouvrir et de recherche pour tab_label. La section devrait ressembler à quelque chose comme ceci:

    {
    "class": "tab_label",
    "font.size": 12, 
    "font.face": "Ubuntu"
},

    Modifier en fonction de vos préférences et enregistrez le fichier. Vous devriez voir les changements immédiatement.

    Pour modifier l'onglet dimensions vous pouvez utiliser la section suivante:

    {
    "class": "tabset_control",
    "tab_height": 42,
    "tab_width": 160,
    "tab_min_width": 48
},

    Remarque: les tailles de police Plus grande (par exemple > 12pt sur mon système) va se couper, même si l'onglet de la hauteur est ajustée en conséquence. C'est un bug connu.

    Merci pour votre réponse instructive. En faisant quelques expériences, j'ai réussi à comprendre, que le même bug se produit pour la barre latérale. Lors de la configuration de font.size attribut à une valeur supérieure à 15.0 pour la barre latérale, les entrées sur elle devient également coupée.
    Où est le <theme>.sublime-theme fichier situé? Il est nulle part pour être trouvée avec ST3.
    Lire cette réponse, vous pouvez l'obtenir avec PackageResourceViewer. stackoverflow.com/a/23046654/209003
    packagecontrol.io/packages/Boxy%20Theme

    OriginalL'auteur

  2. 17

    définir les éléments suivants dans vos Préférences.sublime-settings

    "dpi_scale": 2.0
    Besoin de redémarrer pour prendre effet.
    Ce tout résolu pour moi. Merci. Et comme dit Richard - vous besoin de redémarrer pour que cela prenne effet.

    OriginalL'auteur