Merge pull request #182 from justjoheinz/feature/typecheck

Display information about typechecking
idris-hackers · Aug 16, 2017 · 7de61db · 7de61db
2 parents 7a16501 + cdf0868
commit 7de61db
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
@@ -137,8 +137,10 @@ class IdrisController
     editor = @getEditor()
     @saveFile editor
     uri = editor.getURI()
-    @messages.setTitle 'Idris: Typechecking...'
+    @messages.attach()
+    @messages.show()
     @messages.clear()
+    @messages.setTitle 'Idris: Typechecking...'
 
     successHandler = ({ responseType, msg }) =>
       @messages.attach()
@@ -495,7 +497,7 @@ class IdrisController
     @messages.clear()
     @messages.setTitle '<i class="icon-bug"></i> Idris Errors', true
 
-    # display the general error message 
+    # display the general error message
     if err.message?
       @messages.add new PlainMessageView
         raw: true