A generator of online dsl editors