GNOME Bugzilla – Bug 701085
terminal: Change Directory command is broken
Last modified: 2019-03-23 20:43:01 UTC
The embedded terminal is supposed to have a Change Directory context menu item that performs a cd to the active document's directory. You can see the code for this in change_directory() in terminal.py. Unfortunately this is currently broken. When you first start gedit, the Change Directory context menu item is visible but disabled (which is reasonable, since no document is active). But once you open any document, Change Directory vanishes from the terminal's context menu.
Ah - when Change Directory is missing from the context menu we see this on the console: Traceback (most recent call last):
+ Trace 231994
path = self.get_active_document_directory()
if location and location.has_uri_scheme(location, "file"):
return info.invoke(*args, **kwargs)
The fix is trivial, so I've simply committed it.
Please also backport it.
Done.