From ecea422c2a416a9b020dffad0b274927d9c7515b Mon Sep 17 00:00:00 2001 From: kassoulet Date: Sat, 27 Dec 2014 20:33:56 +0100 Subject: [PATCH] Convert filenames to URIs in file-drop callback. --- soundconverter/ui.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/soundconverter/ui.py b/soundconverter/ui.py index 5a83970e..c652254a 100644 --- a/soundconverter/ui.py +++ b/soundconverter/ui.py @@ -174,7 +174,8 @@ def drag_data_received(self, widget, context, x, y, selection, mime_id, time): widget.stop_emission('drag_data_received') if mime_id >= 0 and mime_id < len(self.drop_mime_types): - self.add_uris([uri.strip() for uri in selection.data.split('\n')]) + uris = [filename_to_uri(uri.strip()) for uri in selection.data.split('\n')] + self.add_uris(uris) context.finish(True, False, time) def get_files(self):