xmledit filetype plugin