Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/webtoolbar.py
diff options
context:
space:
mode:
authorTomeu Vizoso <tomeu@tomeuvizoso.net>2007-03-17 19:54:23 (GMT)
committer Tomeu Vizoso <tomeu@tomeuvizoso.net>2007-03-17 19:54:23 (GMT)
commit8d4a56771273366b16bd67a7319e6adda476d751 (patch)
tree1fc25c646394555f0eef1220cdfc549e4aaa9fac /webtoolbar.py
parent25b287374ed69e2f349c3ed773d2bca99fe793ec (diff)
Add filters to save file choosers.
Diffstat (limited to 'webtoolbar.py')
-rwxr-xr-xwebtoolbar.py31
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())