diff options
author | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2008-11-08 12:20:40 (GMT) |
---|---|---|
committer | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2008-11-08 12:20:40 (GMT) |
commit | ff1808beab462c7cf575fe4e295720106504e52c (patch) | |
tree | a26cf1aeaf5835aa1d157f63fdd6c0b93affa264 | |
parent | 2d3e6b3cb1df4c89d5f71b47b2416df60cd988ba (diff) |
Fix document source viewing
-rw-r--r-- | extensions/globalkey/viewsource.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extensions/globalkey/viewsource.py b/extensions/globalkey/viewsource.py index 995cb8f..7a6e37d 100644 --- a/extensions/globalkey/viewsource.py +++ b/extensions/globalkey/viewsource.py @@ -156,10 +156,10 @@ class ViewSource(gtk.Window): def __source_selected_cb(self, widget, path): if os.path.isfile(path): self._source_display.file_path = path - self._file_viewer.get_parent().hide() + self._file_viewer.hide() else: self._file_viewer.set_path(path) - self._file_viewer.get_parent().show() + self._file_viewer.show() def __destroy_cb(self, window, document_path): del map_activity_to_window[self._parent_window_xid] |