その他の機能


印刷、画像出力


メインメニューから「印刷」または「画像の出力」を選択します。




設定画面






UI テーマ... UIの配色テーマをLight, Darkの2種類から選択できます。

言語... English, Japanseから選択できます。Systemを選択すると、English, JapaneseのうちどちらかOSで優先されているほうを選択します。

ドキュメントテーマカラー... デフォルトで使用される要素の配色テーマを選択します。ドキュメントで配色テーマが未指定の場合に使用されます。

検索

メインメニューの「編集」->「検索」から検索機能を表示できます。