diff options
author | Marco 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) |
commit | ffd67a5db3b96e975d6746ccc40565c4e93c7bd1 (patch) | |
tree | 63af12105c2bf694bb105bc4833fa9311010f961 | |
parent | 8296bcdd197aa1c70176f6ebb6b5e56df08ee7f4 (diff) | |
parent | 8d4a56771273366b16bd67a7319e6adda476d751 (diff) |
Merge branch 'master' of git+ssh://dev.laptop.org/git/web-activity
-rwxr-xr-x | webtoolbar.py | 31 | ||||
-rwxr-xr-x | webview.py | 14 |
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()) @@ -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: |