Handle asynchronous save

In atom 1.19 save and a bunch of other Atom will become asynchronous and return promises. Wait for the promise to be fulfilled. Fixes #173
idris-hackers · Jun 16, 2017 · 4eeeede · 4eeeede
1 parent 764345c
commit 4eeeede
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
@@ -107,10 +107,11 @@ class IdrisController
         null
 
   saveFile: (editor) ->
-    if editor.getURI()
-      editor.save()
-    else
-      atom.workspace.saveActivePaneItemAs()
+    waitsForPromise ->
+      if editor.getURI()
+        editor.save()
+      else
+        atom.workspace.saveActivePaneItemAs()
 
   typecheckFile: (event) =>
     editor = @getEditor()