Possibly the cause of the issue I reported in DartEditor here: https://code.google.com/p/dart/issues/detail?id=10363
Possibly the cause of the issue I reported in DartEditor here: https:/ /code.google. com/p/dart/ issues/ detail? id=10363