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

Aperta
#2,143 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
35/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
swift
Ambito
desktop

Direzione di ricerca

Inizia riproducendo il problema in Settings → Terminal con “Use text editor font” disattivato, quindi segui il percorso delle impostazioni del terminale e dell’aggiornamento dei caratteri nella codebase Swift. Il lavoro è completato quando la modifica della dimensione del carattere del terminale aggiorna immediatamente il terminale aperto, senza richiedere il riavvio dell’applicazione.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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
Lingua principale
Swift
Stelle
23k
Fork
1.2k
Nessuna PR unita negli ultimi 30g

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di CodeEditApp/CodeEdit

Tutte le issue di CodeEditApp/CodeEdit

Issue simili

Altre issue su Swift

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.