Tabs module for hammer:
#!/usr/bin/env python
import gtk
import gobject
import pango
import webkit
class TabLabel (gtk.HBox):
"""A class for Tab labels"""
__gsignals__ = {
"close": (gobject.SIGNAL_RUN_FIRST,
gobject.TYPE_NONE,
(gobject.TYPE_OBJECT,))
}
def __init__ (self, title, child):
"""initialize the tab label"""
gtk.HBox.__init__(self, False, 4)
self.title = title
self.child = child
self.label = gtk.Label(title)
self.label.props.max_width_chars = 30
self.label.set_ellipsize(pango.ELLIPSIZE_MIDDLE)
self.label.set_alignment(0.0, 0.5)
icon = gtk.image_new_from_stock(gtk.STOCK_ORIENTATION_PORTRAIT, gtk.ICON_SIZE_BUTTON)
close_image = gtk.image_new_from_stock(gtk.STOCK_CLOSE, gtk.ICON_SIZE_MENU)
close_button = gtk.Button()
close_button.set_relief(gtk.RELIEF_NONE)
close_button.connect("clicked", self._close_tab, child)
close_button.set_image(close_image)
self.pack_start(icon, False, False, 0)
self.pack_start(self.label, True, True, 0)
self.pack_start(close_button, False, False, 0)
self.set_data("label", self.label)
self.set_data("close-button", close_button)
self.connect("style-set", tab_label_style_set_cb)
def set_label (self, text):
"""sets the text of this label"""
self.label.set_label(text)
def _close_tab (self, widget, child):
self.emit("close", child)
def tab_label_style_set_cb (tab_label, style):
context = tab_label.get_pango_context()
metrics = context.get_metrics(tab_label.style.font_desc, context.get_language())
char_width = metrics.get_approximate_digit_width()
(width, height) = gtk.icon_size_lookup(gtk.ICON_SIZE_MENU)
tab_label.set_size_request(20 * pango.PIXELS(char_width) + 2 * width,
pango.PIXELS(metrics.get_ascent() +
metrics.get_descent()) + 8)
class ContentPane (gtk.Notebook):
__gsignals__ = {
"focus-view-title-changed": (gobject.SIGNAL_RUN_FIRST,
gobject.TYPE_NONE,
(gobject.TYPE_OBJECT, gobject.TYPE_STRING,)),
"new-window-requested": (gobject.SIGNAL_RUN_FIRST,
gobject.TYPE_NONE,
(gobject.TYPE_OBJECT,))
}
def __init__ (self):
"""initialize the content pane"""
gtk.Notebook.__init__(self)
self.props.scrollable = True
self.props.homogeneous = True
self.connect("switch-page", self._switch_page)
self.show_all()
self._hovered_uri = None
def load (self, text):
"""load the given uri in the current web view"""
child = self.get_nth_page(self.get_current_page())
view = child.get_child()
view.open(text)
def new_tab_with_webview (self, webview):
"""creates a new tab with the given webview as its child"""
self._construct_tab_view(webview)
def new_tab (self, url=None):
"""creates a new page in a new tab"""
# create the tab content
browser = BrowserPage()
self._construct_tab_view(browser, url)
def _construct_tab_view (self, web_view, url=None):
web_view.connect("hovering-over-link", self._hovering_over_link_cb)
web_view.connect("populate-popup", self._populate_page_popup_cb)
web_view.connect("load-finished", self._view_load_finished_cb)
web_view.connect("create-web-view", self._new_web_view_request_cb)
web_view.connect("title-changed", self._title_changed_cb)
inspector = Inspector(web_view.get_web_inspector())
scrolled_window = gtk.ScrolledWindow()
scrolled_window.props.hscrollbar_policy = gtk.POLICY_AUTOMATIC
scrolled_window.props.vscrollbar_policy = gtk.POLICY_AUTOMATIC
scrolled_window.add(web_view)
scrolled_window.show_all()
# create the tab
label = TabLabel(url, scrolled_window)
label.connect("close", self._close_tab)
label.show_all()
new_tab_number = self.append_page(scrolled_window, label)
self.set_tab_label_packing(scrolled_window, False, False, gtk.PACK_START)
self.set_tab_label(scrolled_window, label)
# hide the tab if there's only one
self.set_show_tabs(self.get_n_pages() > 1)
self.show_all()
self.set_current_page(new_tab_number)
# load the content
self._hovered_uri = None
if not url:
web_view.load_string(ABOUT_PAGE, "text/html", "iso-8859-15", "about")
else:
web_view.load_uri(url)
def _populate_page_popup_cb(self, view, menu):
# misc
if self._hovered_uri:
open_in_new_tab = gtk.MenuItem(_("Open Link in New Tab"))
open_in_new_tab.connect("activate", self._open_in_new_tab, view)
menu.insert(open_in_new_tab, 0)
menu.show_all()
def _open_in_new_tab (self, menuitem, view):
self.new_tab(self._hovered_uri)
def _close_tab (self, label, child):
page_num = self.page_num(child)
if page_num != -1:
view = child.get_child()
view.destroy()
self.remove_page(page_num)
self.set_show_tabs(self.get_n_pages() > 1)
def _switch_page (self, notebook, page, page_num):
child = self.get_nth_page(page_num)
view = child.get_child()
frame = view.get_main_frame()
self.emit("focus-view-title-changed", frame, frame.props.title)
def _hovering_over_link_cb (self, view, title, uri):
self._hovered_uri = uri
def _title_changed_cb (self, view, frame, title):
child = self.get_nth_page(self.get_current_page())
label = self.get_tab_label(child)
label.set_label(title)
self.emit("focus-view-title-changed", frame, title)
def _view_load_finished_cb(self, view, frame):
child = self.get_nth_page(self.get_current_page())
label = self.get_tab_label(child)
title = frame.get_title()
if not title:
title = frame.get_uri()
if title:
label.set_label(title)
def _new_web_view_request_cb (self, web_view, web_frame):
scrolled_window = gtk.ScrolledWindow()
scrolled_window.props.hscrollbar_policy = gtk.POLICY_AUTOMATIC
scrolled_window.props.vscrollbar_policy = gtk.POLICY_AUTOMATIC
view = BrowserPage()
scrolled_window.add(view)
scrolled_window.show_all()
vbox = gtk.VBox(spacing=1)
vbox.pack_start(scrolled_window, True, True)
window = gtk.Window()
window.add(vbox)
view.connect("web-view-ready", self._new_web_view_ready_cb)
return view
def _new_web_view_ready_cb (self, web_view):
self.emit("new-window-requested", web_view)
# add tab button
if toolbar_enabled:
addTabButton = gtk.ToolButton(gtk.STOCK_ADD)
addTabButton.connect("clicked", self._add_tab_cb)
self.insert(addTabButton, -1)
addTabButton.show()
viewSourceItem = gtk.ToggleToolButton(gtk.STOCK_PROPERTIES)
viewSourceItem.set_label("View Source Mode")
viewSourceItem.connect('toggled', self._view_source_mode_cb)
self.insert(viewSourceItem, -1)
viewSourceItem.show()
def location_set_text (self, text):
self._entry.set_text(text)
def _entry_activate_cb(self, entry):
self.emit("load-requested", entry.props.text)
def _add_tab_cb(self, button):
self.emit("new-tab-requested")
def _view_source_mode_cb(self, button):
self.emit("view-source-mode-requested", button.get_active())
# event handlers
def new_tab_requested_cb (toolbar, content_pane):
content_pane.new_tab("about:blank")
def load_requested_cb (widget, text, content_pane):
if not text:
return
content_pane.load(text)
def load_committed_cb (tabbed_pane, frame, toolbar):
uri = frame.get_uri()
if uri:
toolbar.location_set_text(uri)
def destroy_cb(window, content_pane):
"""destroy window resources"""
num_pages = content_pane.get_n_pages()
while num_pages != -1:
child = content_pane.get_nth_page(num_pages)
if child:
view = child.get_child()
num_pages = num_pages - 1
window.destroy()
gtk.main_quit()
Save this as hammer_tab.py to /usr/bin. Add import hammer_tab to line 17 of hammer. More needs to be added in the hammer script to put this into use, but I've not been successful with that as yet.
Join in the fun.
Edit: I tried adding menu.append(hammer_tab) to line 111, but hammer_tab needs to be defined. My efforts to do so failed.
Edit2: Rewrote. Still not showing in right click menu. Not showing on toolbar.
