ワークスペースの色とフォントの設定

[オプション] ダイアログボックスを使って、ワークスペースのさまざまな設定を行えます。