d7e2f9ba3b
Also removes some dart editor related code which is unused nowadays. Related https://dart-review.googlesource.com/c/sdk/+/150104 Change-Id: I97f91a35e82af09ac715a4eb93a945f335a71d5e Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/150106 Reviewed-by: Alexander Thomas <athom@google.com> Commit-Queue: Martin Kustermann <kustermann@google.com>