これを別のカラーテーマに変更する。編集しないことが基本。'desert'});以上で、カラーテーマの変更が完了。好みのカラーテーマを見つけたら、そのスタイルシートをダウンロードし、次の場所に保存。configLoadというイベントハンドラを使って設定します。このハンドラを使うことで、config.jsが読み込まれた後に処理を実行することができるとのこと。Siliconvertical_align_top。