diff options
author | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-03-14 16:27:33 (GMT) |
---|---|---|
committer | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-03-14 16:27:33 (GMT) |
commit | 5be222c33523d62945421f20df867738af109cca (patch) | |
tree | 590b79aece2cb6f5b26e5d3a75c9bed5d11edbf5 /webtoolbar.py | |
parent | f57e096bae30c163fd9a1c71bd34b0bb9418889d (diff) |
Add some filters to the Open dialog.
Diffstat (limited to 'webtoolbar.py')
-rwxr-xr-x | webtoolbar.py | 32 |
1 files changed, 31 insertions, 1 deletions
diff --git a/webtoolbar.py b/webtoolbar.py index fb7cb93..f4af09c 100755 --- a/webtoolbar.py +++ b/webtoolbar.py @@ -15,6 +15,7 @@ # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA import os import logging +from gettext import gettext as _ import hippo import gtk @@ -146,8 +147,37 @@ class WebToolbar(Toolbar): gtk.RESPONSE_OK)) chooser.set_default_response(gtk.RESPONSE_OK) chooser.set_current_folder(os.path.expanduser('~')) - response = chooser.run() + file_filter = gtk.FileFilter() + file_filter.set_name(_("All supported formats")) + file_filter.add_mime_type("text/html") + file_filter.add_mime_type("application/xhtml+xml") + file_filter.add_mime_type("text/xml") + file_filter.add_mime_type("image/png") + file_filter.add_mime_type("image/jpeg") + file_filter.add_mime_type("image/gif") + chooser.add_filter(file_filter) + + file_filter = gtk.FileFilter() + file_filter.set_name(_("Web pages")) + file_filter.add_mime_type("text/html") + file_filter.add_mime_type("application/xhtml+xml") + file_filter.add_mime_type("text/xml") + chooser.add_filter(file_filter) + + file_filter = gtk.FileFilter() + file_filter.set_name(_("Images")) + file_filter.add_mime_type("image/png") + file_filter.add_mime_type("image/jpeg") + file_filter.add_mime_type("image/gif") + chooser.add_filter(file_filter) + + file_filter = gtk.FileFilter() + file_filter.set_name(_("All files")) + file_filter.add_pattern("*") + chooser.add_filter(file_filter) + + response = chooser.run() if response == gtk.RESPONSE_OK: self._embed.load_url(chooser.get_filename()) self._embed.grab_focus() |