Description Silenio Quarti 2015-11-06 10:17:28 EST

There are at least several cases where this support is needed:

- detected modifications in the .tern-project file
- detected and update tern when JS files are changed outside of the editor (search/replace UI)
- update the navigator/editor

Currently, the host page uses an event dispatcher in fileCommands.js to update the navigator/editor when there are FS changes.  This only catches the cases when those commands are used.

Another complication is that the JS plugin loads it's own version of the file client so even in the same page we cannot use a simple event dispatcher.

We should also consider changes across multiple pages and browsers. If we want to support that we will require support in the server.