🐞 Changing terminal font size in settings does not have immediate effect
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Anfängerfreundlichkeit
- 35/100
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
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
- Go to Settings->Terminal
- Disable "Use text editor font"
- Change font size to 15
- Close settings.
- Result: Terminal font stays the same, no change is visible. (Except line height)
- After restarting CodeEdit, the changed terminal font size is correctly used in the terminal window.
Expected Behavior
- Go to Settings->Terminal
- Disable "Use text editor font"
- Change font size to 15
- Terminal font size in terminal window is changed immediately (like changing text editor font size)
- Close settings.
Version Information
CodeEdit: CodeEdit: 0.3.6 (47)
macOS: 15.7.1
Xcode: 26.1.1 (17B100)
Additional Context
No response
Screenshots
- Vorherrschende Sprache
- Swift
- Sterne
- 23k
- Forks
- 1.2k
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Entwicklungsumgebung
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus CodeEditApp/CodeEdit
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
CodeEditApp/CodeEdit#2190 ·
-
Is this project dead?Offen
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 15/100
CodeEditApp/CodeEdit#2195 · 8 Reaktionen ·
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
CodeEditApp/CodeEdit#2185 ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
CodeEditApp/CodeEdit#2181 ·
-
creashes on startingOffenbug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
CodeEditApp/CodeEdit#2180 ·
Alle Issues in CodeEditApp/CodeEdit
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
callstackincubator/appduct#129 ·
Maintainer antworten meist innerhalb von 1 Tag
-
clawsweeper:not-repro-on-main impact:ux-friction issue-rating: 🦪 silver shellfish P2
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 64/100
steipete/CodexBar#4040 · 1 Kommentar · 1 Reaktion ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 92/100
mozilla-mobile/firefox-ios#35827 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
solana-foundation/pay-kit#341 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 82/100
serhii-londar/open-source-mac-os-apps#1419 ·
Maintainer antworten meist innerhalb von 5 Tagen