ワークスペース内の一般的な設定について紹介します。