Merge pull request #160 from justjoheinz/feature/inspectType

Fix type inspection
idris-hackers · Apr 4, 2017 · 4dade4a · 4dade4a
2 parents e5b797c + 31b6cdd
commit 4dade4a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
@@ -155,6 +155,7 @@ class IdrisController
 
   getTypeForWord: ({ target }) =>
     editor = @getEditor()
+    @saveFile editor
     uri = editor.getURI()
     word = Symbol.serializeWord @getWordUnderCursor(editor)