From 6e471af7d884d614f4941aa6dbfb1ad923a1754e Mon Sep 17 00:00:00 2001
From: Nicolas Gagliani <whatamaps@gmail.com>
Date: Fri, 22 May 2015 23:50:48 +0200
Subject: [PATCH] fix the last deprecations

---
 lib/idris-controller.coffee | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
index cf1f43f..c7cbf43 100644
--- a/lib/idris-controller.coffee
+++ b/lib/idris-controller.coffee
@@ -55,15 +55,15 @@ class IdrisController
     @messages.clear()
     @messages.hide()
     @localChanges = false
-    if @isIdrisFile(editor.getUri())
-      @loadFile editor.getUri()
+    if @isIdrisFile(editor.getURI())
+      @loadFile editor.getURI()
 
   idrisFileChanged: (editor) ->
     @localChanges = editor.isModified()
     if @localChanges
       @statusbar.setStatus 'Idris: local modifications'
-    else if @isIdrisFile(editor.getUri())
-      @loadFile editor.getUri()
+    else if @isIdrisFile(editor.getURI())
+      @loadFile editor.getURI()
 
   idrisFileClosed: (editor) ->
     @idrisBuffers -= 1