[gedit-plugins/gnome-3-8] terminal: missing trailing /

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 82c5436fa51fcefeb66e716a7bd5a623229255b6
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu May 23 15:15:05 2013 +0200

    terminal: missing trailing /

 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 533248c..c2faf0b 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -114,7 +114,7 @@ class GeditTerminal(Gtk.Box):
         profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")
 
         if profiles:
-            default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default")
+            default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
             settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
                                                   default_path)
         else: