Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

🐞 Changing terminal font size in settings does not have immediate effect

Ouverte
  • Quelque chose ne va pas ?
#2,143 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
3/5
Temps estimé
1-2 jours
Accessibilité débutants
35/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
swift
Domaine
desktop

Piste de recherche

Commencez par reproduire le problème dans Settings → Terminal avec « Use text editor font » désactivé, puis suivez le parcours des paramètres du terminal et de la mise à jour des polices dans la base de code Swift. Le travail est terminé lorsque la modification de la taille de police du terminal met immédiatement à jour le terminal ouvert, sans nécessiter le redémarrage de l’application.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

bug
Description

Changing terminal font size in settings does not immediately change the terminal font like changing the editor font size does. After restarting CodeEdit the change is correctly honoured.

To Reproduce
  1. Go to Settings->Terminal
  2. Disable "Use text editor font"
  3. Change font size to 15
  4. Close settings.
  5. Result: Terminal font stays the same, no change is visible. (Except line height)
  6. After restarting CodeEdit, the changed terminal font size is correctly used in the terminal window.
Expected Behavior
  1. Go to Settings->Terminal
  2. Disable "Use text editor font"
  3. Change font size to 15
  4. Terminal font size in terminal window is changed immediately (like changing text editor font size)
  5. Close settings.
Version Information

CodeEdit: CodeEdit: 0.3.6 (47)
macOS: 15.7.1
Xcode: 26.1.1 (17B100)

Additional Context

No response

Screenshots
Image
Langage dominant
Swift
Étoiles
23k
Forks
1.2k
Aucune PR mergée en 30 j

Préparer son environnement

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de CodeEditApp/CodeEdit

Toutes les issues de CodeEditApp/CodeEdit

Issues similaires

Plus d'issues Swift

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.