Revert "Handle asynchronous save"

Pushed by mistake This reverts commit 4eeeede.
idris-hackers · Jun 16, 2017 · 011cd6c · 011cd6c
1 parent 4eeeede
commit 011cd6c
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
@@ -107,11 +107,10 @@ class IdrisController
         null
 
   saveFile: (editor) ->
-    waitsForPromise ->
-      if editor.getURI()
-        editor.save()
-      else
-        atom.workspace.saveActivePaneItemAs()
+    if editor.getURI()
+      editor.save()
+    else
+      atom.workspace.saveActivePaneItemAs()
 
   typecheckFile: (event) =>
     editor = @getEditor()