From 5be222c33523d62945421f20df867738af109cca Mon Sep 17 00:00:00 2001 From: Tomeu Vizoso Date: Wed, 14 Mar 2007 16:27:33 +0000 Subject: Add some filters to the Open dialog. --- 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() -- cgit v0.9.1