A Dart editor written in Dart