fix the last deprecations

idris-hackers · May 22, 2015 · 6e471af · 6e471af
1 parent 245c92a
commit 6e471af
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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