[gedit-plugins] terminal: use path instead of uri

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 867cac79610da4c2773ebed35629b226ee6737cb
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sun May 26 10:57:40 2013 +0200

    terminal: use path instead of uri

 plugins/terminal/terminal.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index acc014b..aadfda1 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -73,7 +73,7 @@ class GeditTerminal(Vte.Terminal):
 
     def do_drag_data_received(self, drag_context, x, y, data, info, time):
         if info == self.TARGET_URI_LIST:
-            self.feed_child(' '.join(["'" + item + "'" for item in Gedit.utils_drop_get_uris(data)]), -1)
+            self.feed_child(' '.join(["'" + Gio.file_new_for_uri(item).get_path() + "'" for item in 
Gedit.utils_drop_get_uris(data)]), -1)
             Gtk.drag_finish(drag_context, True, False, time);
         else:
             Vte.Terminal.do_drag_data_received(self, drag_context, x, y, data, info, time)