[gedit-plugins/wip/loader-saver: 2/3] Don't use gedit_document_set_location() (deprecated)
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins/wip/loader-saver: 2/3] Don't use gedit_document_set_location() (deprecated)
- Date: Tue, 1 Jul 2014 11:26:44 +0000 (UTC)
commit cc67c9b7c9f289c2960adb0ae64b4f977bd5e546
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,))
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]