File changed callback.

src/app.js

@@ -172,7 +172,7 @@ var run = function () {
   var FilePanelAPI = {
     createName: createNonClashingName,
     switchToFile: switchToFile,
-    ui: ui.event
+    event: this.event
   }
   var el = new FilePanel(FilePanelAPI, files)
   filepanel.appendChild(el)
@@ -352,6 +352,7 @@ var run = function () {
     } else {
       editor.open(file, files.get(file))
     }
+    self.event.trigger('currentFileChanged', [file])
   }
 
   function switchToNextFile () {

src/app/file-explorer.js

@@ -37,7 +37,6 @@ module.exports = fileExplorer
 
 function fileExplorer (appAPI, files) {
   var fileEvents = files.event
-  var appUI = appAPI.ui
   var tv = new Treeview({
     extractData: function (value, tree, key) {
       var newValue = {}
@@ -76,10 +75,8 @@ function fileExplorer (appAPI, files) {
     </span>
   `
 
-  appUI.register('fileChanged', (changedFiles) => {
+  appAPI.event.register('currentFileChanged', (newFile) => {
-    if (changedFiles[0] === 'currentFile') {
+    fileFocus(newFile)
-      fileFocus(files.get('currentFile'))
-    }
   })
   fileEvents.register('fileRemoved', fileRemoved)
   fileEvents.register('fileRenamed', fileRenamed)