A html-javascript GUI XML editor