From ff1808beab462c7cf575fe4e295720106504e52c Mon Sep 17 00:00:00 2001 From: Tomeu Vizoso Date: Sat, 08 Nov 2008 12:20:40 +0000 Subject: Fix document source viewing --- (limited to 'extensions') 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] -- cgit v0.9.1