Merged changes from Dart Editor HEAD since Feb 27 2014