scheglov@google.com ae2e608ff9 Send notificatinos after no-op changes. ...

This should solve the problem when client remove some part of the code,
so removes also error markers for it, and then quickly restores it,
so for the server it looks as an empty/no-op change. But information is
lost, and the server should resend it to the client.

R=brianwilkerson@google.com
BUG=

Review URL: https://codereview.chromium.org//899753004

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@43521 260f80e4-7a28-3924-810f-c04153c831b5

2015-02-05 20:42:17 +00:00

..

plugin

Minor clean-ups and rename

2015-01-12 16:36:14 +00:00

src

Send notificatinos after no-op changes.

2015-02-05 20:42:17 +00:00

starter.dart

Server clean-up

2015-01-12 17:34:14 +00:00