[gedit-plugins] 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] Don't use gedit_document_set_location() (deprecated)
- Date: Wed, 9 Jul 2014 11:30:17 +0000 (UTC)
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,))
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]