Added eclipse theme prefs