Merge pull request #123 from zjhmale/navigate-to-error

navigate to error position

Author: melted

lib/idris-controller.coffee

@@ -412,13 +412,14 @@ class IdrisController
     @messages.setTitle '<i class="icon-bug"></i> Idris Errors', true
 
     @messages.add new PlainMessageView
-      message: err.message
+      message: "Errors (#{err.warnings.length})" 
       className: 'idris-error'
 
     for warning in err.warnings
       @messages.add new LineMessageView
         line: warning[1][0]
         character: warning[1][1]
         message: warning[3]
+        file: warning[0].replace("./", err.cwd + "/")
 
 module.exports = IdrisController

lib/idris-model.coffee

@@ -53,6 +53,7 @@ class IdrisModel
                 message: ret[1]
                 warnings: @warnings[id]
                 highlightInformation: ret[2]
+                cwd: @compilerOptions.src
             subject.onCompleted()
             delete @subjects[id]
           when ':write-string'