[eclipse_prefs_texteditors.gif]