Hacktoberfest 2026: die Issues, die Maintainer für den Oktober markiert haben – offen und einsteigerfreundlich. Hacktoberfest-Issues durchsuchen

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

Offen
#2,143 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Anfängerfreundlichkeit
35/100
Issue-Typ
Bug
Klarheit
Größtenteils klar
Aktivitätsstatus
Veraltet
Tech-Stack
swift
Bereich
desktop

Rechercherichtung

Beginne damit, das Problem unter Settings → Terminal mit deaktivierter Option „Use text editor font“ zu reproduzieren, und verfolge dann den Pfad für Terminal-Einstellungen und Schriftartaktualisierungen in der Swift-Codebasis. Die Arbeit ist abgeschlossen, wenn eine Änderung der Terminal-Schriftgröße das geöffnete Terminal sofort aktualisiert, ohne dass ein Neustart der Anwendung erforderlich ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

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
Vorherrschende Sprache
Swift
Sterne
23k
Forks
1.2k
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Entwicklungsumgebung

Erste Schritte

  1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
  3. Forken Sie das Repository und arbeiten Sie in einem Branch.
  4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus CodeEditApp/CodeEdit

Alle Issues in CodeEditApp/CodeEdit

Ähnliche Issues

Weitere Issues zu Swift

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.