updateAllOpenWindows when pulling repo

doc/notes.txt

@@ -146,7 +146,6 @@ TODO:
   - handle overwrite logic
   - test edge/failure cases
   - what to do about included files?
-  - what if files already open in editor
   - can published files retain path?
   - what if import interrupted and partial files?
   - CORS for some blobs?

src/ui.ts

@@ -521,6 +521,7 @@ function _pullProjectFromGithub(e) {
   setWaitDialog(true);
   getGithubService().pull(ghurl).then( (sess:GHSession) => {
     setWaitDialog(false);
+    projectWindows.updateAllOpenWindows(store);
   });
 }
 

src/windows.ts

@@ -135,4 +135,14 @@ export class ProjectWindows {
     }
   }
 
+  updateAllOpenWindows(store) {
+    for (var fileid in this.id2window) {
+      var wnd = this.id2window[fileid];
+      if (wnd && wnd.setText) {
+        store.getItem(fileid).then((data) => {
+          this.updateFile(fileid, data);
+        });
+      }
+    }
+  }
 };