回答編集履歴

2

誤字を修正

2020/07/13 02:21

投稿

Daregada
Daregada

スコア11990

test CHANGED
@@ -22,7 +22,7 @@
22
22
 
23
23
 
24
24
 
25
- もし、Gir Bashを単独のウィンドウ(mitty)として起動しているなら、ウィンドウのタイトルバーを右クリックして、メニューから「Options…」を選択してminttyの設定ダイアログを開き、「Text」の設定でフォントを変更できます。
25
+ もし、Git Bashを単独のウィンドウ(mitty)として起動しているなら、ウィンドウのタイトルバーを右クリックして、メニューから「Options…」を選択してminttyの設定ダイアログを開き、「Text」の設定でフォントを変更できます。
26
26
 
27
27
 
28
28
 

1

表現を修正

2020/07/13 02:21

投稿

Daregada
Daregada

スコア11990

test CHANGED
@@ -14,15 +14,15 @@
14
14
 
15
15
 
16
16
 
17
- もし、VSCodeのエディターで使うフォントも含めて変更したいなら、**ここには何も書かず**、設定のリストから「テキストエディター」をクリックして、「`Editor: Font Family`」の先頭にフォントファミリーを(カンマ区切りで)追加します。
18
-
19
-
20
-
21
17
  フォントファミリー名に空白を含む場合は`'Ricty Diminished'`や`'Myrica M'`のように引用符で囲んでください。
22
18
 
23
19
 
24
20
 
21
+ もし、VSCodeのエディターで使うフォントも含めて変更したいなら、**ここには何も書かず**、設定のリストから「テキストエディター」をクリックして、「`Editor: Font Family`」の**先頭に**フォントファミリーを(カンマ区切りで)追加します。
22
+
23
+
24
+
25
- もし、Gir Bashを単独のウィンドウとして起動しているなら、ウィンドウのタイトルバーを右クリックして、メニューから「Options…」を選択して設定ダイアログを開き、「Text」の設定でフォントを変更できます。
25
+ もし、Gir Bashを単独のウィンドウ(mitty)として起動しているなら、ウィンドウのタイトルバーを右クリックして、メニューから「Options…」を選択してminttyの設定ダイアログを開き、「Text」の設定でフォントを変更できます。
26
26
 
27
27
 
28
28