Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/webtoolbar.py
diff options
context:
space:
mode:
authorMarco Pesenti Gritti <mpg@redhat.com>2007-03-18 01:58:19 (GMT)
committer Marco Pesenti Gritti <mpg@redhat.com>2007-03-18 01:58:19 (GMT)
commitffd67a5db3b96e975d6746ccc40565c4e93c7bd1 (patch)
tree63af12105c2bf694bb105bc4833fa9311010f961 /webtoolbar.py
parent8296bcdd197aa1c70176f6ebb6b5e56df08ee7f4 (diff)
parent8d4a56771273366b16bd67a7319e6adda476d751 (diff)
Merge branch 'master' of git+ssh://dev.laptop.org/git/web-activity
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())