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

オープン
#2,143 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
3/5
見積もり時間
1〜2日
初心者へのやさしさ
35/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
停滞
技術スタック
swift
領域
desktop

調査の方向性

まず、Settings → Terminal で「Use text editor font」を無効にして問題を再現し、次にSwiftコードベースでターミナル設定とフォント更新の処理を追ってください。ターミナルのフォントサイズを変更すると、アプリケーションを再起動しなくても開いているターミナルがすぐに更新されるようになれば、作業は完了です。

索引モデルが issue の本文から書いたものです。

説明

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
主要言語
Swift
スター
23k
フォーク
1.2k
30日以内にマージされた PR はありません

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

CodeEditApp/CodeEdit のほかの issue

CodeEditApp/CodeEdit の issue をすべて見る

似ている issue

Swift の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。