dart - Dart Editor のテーマ

Question

今は真っ暗な夜なので、白い背景に目を奪われています。Dart Editor (v 0.1) からテーマを (より暗いものに) 変更することはできますか? 背景色とシンタックス ハイライトの選択についてはどうでしょうか。

Answer 1

はい、可能です。Dart Editor の背景を暗くするためのクイックフィックスを確認しましたVersion 0.1.0.201204042313。

1. Dart エディターを閉じる
2. お気に入りのエディターでファイルを開きます。<DART-INSTALL-DIR>\workspace\.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.ui.editors.prefs
3. コンテンツを変更する

から：

 #Fri Apr 06 20:28:37 EST 2012
 eclipse.preferences.version=1
 overviewRuler_migration=migrated_3.1

に：

#Fri Apr 06 20:28:38 EST 2012
AbstractTextEditor.Color.Background.SystemDefault=false
AbstractTextEditor.Color.Background=208,208,223
eclipse.preferences.version=1
overviewRuler_migration=migrated_3.1

Dart エディタを起動すると、背景は次のようになります。

org.eclipse.ui.editors.prefsおよびファイルにプロパティを追加するだけで、「完全なテーマ」を作成org.eclipse.jdt.ui.prefsできます。

プロジェクトhttp://www.eclipsecolorthemes.org/の「Eclipse Preferences (EPF)」サンプル ファイルを確認することを強くお勧めします。

まだ試していませんが、理論的には、プラグインEclipse Color Themeを手動でインストールできます。

---

更新 2012 年 12 月 6 日

新しいは、エディターとパネルの両方のテーマをDart Editor Build 0.2.7.1_r15699 サポートしています。この「トリック」はもう必要ありません。使用してテーマをカスタマイズしてくださいPreferences --> Visual Theme

Answer 2

Hannes Rammer は、このためのオープン ソース ツールを作成しました。

• https://github.com/HannesRammer/Rainbow (GitHub)
• http://pub.dartlang.org/packages/rainbow

オンラインでも https://rainbow-dart.appspot.com/から入手できます。

Answer 3

これが可能だとは思いません。問題として提出されました: http://code.google.com/p/dart/issues/detail?id=293&q=themes&colspec=ID%20Type%20Status%20Priority%20Area%20Owner%20Summary