Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xwebtoolbar.py31
-rwxr-xr-xwebview.py14
2 files changed, 44 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())
diff --git a/webview.py b/webview.py
index 3d9bc30..3947895 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: