Comment augmenter la taille de la police dans l’éditeur Xcode?

Augmenter la taille de la police dans Xcode est une douleur.

Pour Xcode 4.1

Encore une douleur énorme. Conception médiocre de l’interface utilisateur (Mais mon état d’esprit ne semble pas correspondre à la mentalité des ingénieurs logiciels qui font plus de 100 noms de variables et de méthodes de caractères. Assez de mes plaintes)

Je vais modifier un article précédent pour la version actuelle.

  1. Fermez tous les projets ouverts dans Xcode (sinon la fenêtre Police sera inaccessible tant qu’un projet est ouvert).
  2. Allez à XCode> Préférences> Polices et couleurs
  3. Dans la zone “Thème”, sélectionnez le thème que vous souhaitez modifier (ou sélectionnez le thème que vous souhaitez modifier et cliquez sur le bouton “+” en bas de la liste des thèmes pour le cloner d’abord pour la sauvegarde, car aucune option d’annulation n’est disponible)
  4. Dans la zone de l’éditeur source, vous trouverez une liste de types de texte pour lesquels vous pouvez définir la police: Texte brut Commentaires Documentation Commentaires. . .

  5. Sélectionnez tout ou partie des éléments de la liste de l’éditeur source et le nom et la taille de la police pour ce texte particulier apparaîtront dans la fenêtre “Police” située sous la fenêtre “Éditeur de sources”. (Si vous omettez de sélectionner l’un de ces éléments, vous pourrez accéder à l’inspecteur de fonts et sélectionner de nouvelles tailles, mais vous vous demanderez pourquoi les modifications que vous apportez ne sont pas appliquées!)

  6. Dans la fenêtre “Police”, cliquez sur l’icône “T” petite, presque cachée et sûrement mal conçue, située à droite du nom et de la taille de la police.
  7. Voila! En seulement 14 touches, vous pouvez obtenir la fenêtre Inspecteur de fonts!
  8. Votre police existante sera présélectionnée dans l’inspecteur de fonts. Les modifications que vous apportez maintenant seront appliquées aux types de texte que vous avez sélectionnés dans la fenêtre “Éditeur de sources”. Par exemple, toutes les fonts> Menlo> Regular> 14
  9. Fermez les fenêtres que vous avez ouvertes sur cette chasse au Saint-Graal.

Toutes nos félicitations. Vous pouvez maintenant lire votre code. N’était-ce pas indolore?

Solution la plus simple:

  1. Fermez tous les projets ouverts.

  2. Xcode> Préférences> Police et couleurs

  3. Veillez à appuyer sur CMD + A pour sélectionner tous les types de texte possibles. Puis changez la taille de la police à partir du sélecteur.

entrer la description de l'image ici

Mettre à jour! – Voici Xcode 9 à la rescousse! Maintenant, vous pouvez utiliser cmd + pour augmenter les fonts avec Xcode 9. Il a fallu 5 versions majeures pour que vous puissiez l’obtenir, Apple! Mais, mieux vaut tard que jamais.

compris – mais ce n’était pas très intuitif.

Quelques premiers points de douleur

  1. Lorsque vous essayez de changer la taille de la police directement en utilisant edit -> format -> police, rien ne se passe! – Pas une bonne UX … de plus, pourquoi jouer à stupide quand vous pouvez dire à l’utilisateur qu’il utilise le thème par défaut ou le thème “appartenant au système” et qu’il ne peut pas le changer? – Bad Design et UX plus mauvais … Pourquoi garder cette option (Cmd t) en vie, ce qui est d’ailleurs le moyen le plus courant d’augmenter la taille de la police pour les applications Mac les plus saines, si vous ne souhaitez pas que la police change façon?

  2. Dans les préférences Xcode, lorsque vous essayez de modifier la taille de la police en cliquant sur “fonts et couleurs”, c’est lorsque XCode affiche une fenêtre contextuelle indiquant ce qui doit être fait. Faire un duplicata, puis changer les fonts et les couleurs est un travail fastidieux plutôt que de donner un bouton qui dit “Restore to Defaults” si Apple craint que l’utilisateur ne modifie les parameters par défaut!

La solution est que – vous devez dupliquer le thème, puis modifier la copie que vous venez de créer et appliquer cette copie – ouf!

  1. Allez à XCode> Préférences> Polices et couleurs
  2. Double-cliquez sur une entrée de police pour obtenir la fenêtre Inspecteur des fonts
  3. Sélectionnez toutes les entrées de police avec les tailles que vous souhaitez augmenter / diminuer
  4. Dans la fenêtre Inspecteur de fonts, sélectionnez la même police (par exemple, Toutes les fonts> Menlo> Régulière> 14)

Attention, il n’y a pas de défaire!

Vous pouvez utiliser ce plugin pour modifier la taille de la police en utilisant ⌘ + ou or ⌘ - ( Control - and Control + dans les dernières versions de Xcode. Les développeurs de plug-ins ont modifié le raccourci pour éviter les conflits avec les raccourcis d’Interface Builder):

https://github.com/zats/AdjustFontSize-Xcode-Plugin

Vous pouvez utiliser les éléments suivants:

  1. Appuyez sur xcode-> préférences
  2. sélectionner des fonts et des couleurs
  3. sélectionnez TOUTE police dans la liste et appuyez sur cmd + a (sélectionnez toutes les fonts)
  4. sélectionner la taille de la police pour toutes les fonts de l’éditeur en bas de la fenêtre

Accédez à Xcode -> preference -> fonts et couleurs, puis sélectionnez-en une. La police sera automatiquement agrandie.

entrer la description de l'image ici

En fait, c’est très facile:

  1. Aller aux préférences
  2. Puis à la police et aux couleurs
  3. Ensuite, sélectionnez toutes les options de texte en cliquant sur “texte brut” puis en appuyant sur cmd + a
  4. puis cliquez sur le petit t dans la section de police
  5. puis changez la police et la taille à votre guise et cela s’appliquera à tout le code

Bonne chance!

Aller à

 Xcode menu > Preferences > Font & Color > Category 

Double-cliquez sur Texte brut, un menu contextuel apparaîtra. Changez-le de là.

Lorsque vous modifiez des fonts dans XCode à partir de [Préférences] (après avoir dupliqué un modèle qui correspond à des couleurs proches de celles que vous souhaitez), vous pouvez sélectionner plusieurs entrées et modifier toutes les fonts en même temps. Utilisez [shift] pour sélectionner une plage ou [cmd] pour sélectionner plusieurs entrées individuelles (par exemple, vous pouvez sélectionner à la fois les commentaires et les chaînes et ne modifier que leurs fonts).

Steve

J’ai également constaté que vous pouvez modifier les fonts pour l’impression qui est contrôlée par le thème “Impression”. Je voulais que le résultat d’impression soit identique à celui par défaut, mais avec une police plus grande.

  1. renommez “printing” en “printing1” (sélectionnez le thème d’impression et cliquez dessus et cela vous permettra de changer le nom).

  2. Cliquez sur “+” et sélectionnez “Default” dans la sélection “New Theme From Template”

  3. renommez-le “Impression”

  4. Cliquez dans la zone de police pour “Source Editor” et cmd-A pour sélectionner toutes les fonts

  5. changer la taille de la police à une valeur désirée (j’aime bien 12 points) en cliquant sur l’icône “T” et en sélectionnant la taille de la police désirée

Après cela, les impressions doivent correspondre au nouveau modèle “Impression” (c’est-à-dire en couleur et plus grand, ou quel que soit le modèle), l’essentiel est que l’impression prenne forme à partir du thème “Impression”.

Allez dans Xcode -> Preferences … -> Font & Colors -> ‘sélectionnez tous les types de fonts dans l’onglet’ Default.

Dans cette sélection, appliquez la taille de police du contrôle inférieur.

Appliquer en suivant quelques étapes:

Allez dans xcode_preferences-> Sélectionnez ensuite la police et les couleurs-> sélectionnez toutes les options de texte-> cliquez sur la section de police et changez les fonts que vous voulez

Nous sums en août 2011, Xcode 4.1 et cela continue d’être un cauchemar. Pourquoi ne pas autoriser Cmd + et Cmd comme partout ailleurs?

Comme suggéré par d’autres répondants, je suggère que vous copiez votre thème préféré avant de modifier les fonts car il n’y a pas de moyen facile de défaire.

Dans mon cas, tout ce que je voulais faire était d’augmenter la taille de la police. Heureusement, vous pouvez sélectionner plusieurs éléments (Shift + select ou Cmd + select) et définir la police pour tous ceux sélectionnés d’un seul coup.

Soulagement mineur pour une irritation majeure.