A web based collaborative editor