デフォルトテーマを誤って削除してしまったのですが、この方法で復元した場合：
…テーマリポジトリからの自動更新は引き続き行われますか？テーマの自動更新チェックボックスが表示されなくなりました。見当たりません：
デフォルトテーマはどこから再ダウンロードできますか？
デフォルトのテーマは空のシェルなので、更新するものは何もありません。オートアップデートのチェックボックスが表示されないのは、リポジトリ自体が存在しないためです。
はい、承知いたしました。そのままにしておきます。
