[gedit-plugins] Fix terminal plugin



commit b0336175db5bb753557658b91114967383ce720a
Author: Mickaël Delahaye <mickael delahaye gmail com>
Date:   Mon Apr 20 00:37:23 2009 +0200

    Fix terminal plugin
    
    Bug #579448
    The 'Change directory' command of the terminal's popup menu used to change the current directory to the parent of the parent directory of the file being edited instead of the parent directory.
---
 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 7639cc4..2db255d 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -263,7 +263,7 @@ class TerminalWindowHelper(object):
         if uri is not None and gedit.utils.uri_has_file_scheme(uri):
             gfile = gio.File(uri)
             directory = gfile.get_parent()
-            return os.path.dirname(directory.get_path())
+            return directory.get_path()
         return None
 
     def on_panel_populate_popup(self, panel, menu):



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]