From 8d4a56771273366b16bd67a7319e6adda476d751 Mon Sep 17 00:00:00 2001 From: Tomeu Vizoso Date: Sat, 17 Mar 2007 19:54:23 +0000 Subject: Add filters to save file choosers. --- diff --git a/webtoolbar.py b/webtoolbar.py index 5c7ca04..e2fbde0 100755 --- a/webtoolbar.py +++ b/webtoolbar.py @@ -137,8 +137,37 @@ class WebToolbar(Toolbar): chooser.set_default_response(gtk.RESPONSE_OK) chooser.set_current_folder(os.path.expanduser('~')) chooser.set_current_name(filename) - 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: if not self._embed.save_document(chooser.get_filename()): logging.error("Couldn't save to %s." % chooser.get_filename()) diff --git a/webview.py b/webview.py index e145e3a..db65708 100755 --- a/webview.py +++ b/webview.py @@ -14,6 +14,7 @@ # along with this program; if not, write to the Free Software # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA import os +from gettext import gettext as _ import gobject import gtk @@ -108,6 +109,19 @@ class _ImageMenu(gtk.Menu): chooser.set_current_folder(os.path.expanduser('~')) if self._image_name: chooser.set_current_name(self._image_name) + + 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: -- cgit v0.9.1