Added preferences for editing HTML files