Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xwebtoolbar.py110
1 files changed, 0 insertions, 110 deletions
diff --git a/webtoolbar.py b/webtoolbar.py
index 6b54f25..d5921d8 100755
--- a/webtoolbar.py
+++ b/webtoolbar.py
@@ -55,16 +55,6 @@ class WebToolbar(gtk.Toolbar):
self.insert(entry_item, -1)
entry_item.show()
- self._open = ToolButton('stock-open')
- self._open.connect('clicked', self._open_cb)
- self.insert(self._open, -1)
- self._open.show()
-
- self._save = ToolButton('stock-save')
- self._save.connect('clicked', self._save_cb)
- self.insert(self._save, -1)
- self._save.show()
-
self._embed = embed
embed.connect("notify::progress", self._progress_changed_cb)
embed.connect("notify::loading", self._loading_changed_cb)
@@ -115,103 +105,3 @@ class WebToolbar(gtk.Toolbar):
self._embed.stop_load()
else:
self._embed.reload(0)
-
- def _save_cb(self, button):
- filename = self._embed.props.document_metadata.filename
- if not filename:
- filename = self._embed.get_title() + '.html'
-
- chooser = gtk.FileChooserDialog(title=None,
- parent=self._embed.get_toplevel(),
- action=gtk.FILE_CHOOSER_ACTION_SAVE,
- buttons=(gtk.STOCK_CANCEL,
- gtk.RESPONSE_CANCEL,
- gtk.STOCK_SAVE,
- gtk.RESPONSE_OK))
- chooser.set_default_response(gtk.RESPONSE_OK)
- chooser.set_current_folder(os.path.expanduser('~'))
- chooser.set_current_name(filename)
-
- 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())
-
- chooser.destroy()
-
- def _open_cb(self, button):
- chooser = FileChooserDialog(title=None,
- parent=self._embed.get_toplevel(),
- action=gtk.FILE_CHOOSER_ACTION_OPEN,
- buttons=(gtk.STOCK_CANCEL,
- gtk.RESPONSE_CANCEL,
- gtk.STOCK_OPEN,
- gtk.RESPONSE_OK))
- chooser.set_default_response(gtk.RESPONSE_OK)
- chooser.set_current_folder(os.path.expanduser('~'))
-
- 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:
- self._embed.load_url(chooser.get_filename())
- self._embed.grab_focus()
- logging.debug('Opened %s.' % chooser.get_filename())
-
- chooser.destroy()