diff options
author | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-03-17 19:54:23 (GMT) |
---|---|---|
committer | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-03-17 19:54:23 (GMT) |
commit | 8d4a56771273366b16bd67a7319e6adda476d751 (patch) | |
tree | 1fc25c646394555f0eef1220cdfc549e4aaa9fac /webtoolbar.py | |
parent | 25b287374ed69e2f349c3ed773d2bca99fe793ec (diff) |
Add filters to save file choosers.
Diffstat (limited to 'webtoolbar.py')
-rwxr-xr-x | webtoolbar.py | 31 |
1 files changed, 30 insertions, 1 deletions
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()) |