[eclipse_prefs_htmleditor.gif]