[gedit-plugins] Don't use gedit_document_set_location() (deprecated)

[Sébastien Wilmet <swilmet src gnome org>]

commit 758c2608d24263fc07a56b23a8abef2d5f74e504
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue Jul 1 13:06:09 2014 +0200

    Don't use gedit_document_set_location() (deprecated)
    
    Use gtk_source_file_set_location() instead.

 plugins/commander/modules/edit.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/commander/modules/edit.py b/plugins/commander/modules/edit.py
index 756569e..73e8059 100644
--- a/plugins/commander/modules/edit.py
+++ b/plugins/commander/modules/edit.py
@@ -120,7 +120,7 @@ def rename(view, newfile):
     try:
         f.move(dest, Gio.FileCopyFlags.OVERWRITE, None, _dummy_cb, None)
 
-        doc.set_location(dest)
+        doc.get_file().set_location(dest)
         yield commander.commands.result.HIDE
     except Exception as e:
         raise commander.commands.exceptions.Execute('Could not move file: %s' % (e,))