webkit_plug.py 文件源码

def __init__(self, tracker, url, tab_id):
        self.alive = True
        self.tracker = tracker
        self.uuid = tab_id
        self.plug = Gtk.Plug()
        self.plug.connect("destroy", Gtk.main_quit)

        self.webview = WebKit.WebView()
        settings = self.webview.get_settings()
        settings.set_property("enable-developer-extras", True)
        #settings.set_property("enable-webgl", True)

        self.webview.connect("load-started", self.load_start_event)
        self.webview.connect("notify::title", self.push_title_change)

        scrolled_window = Gtk.ScrolledWindow()
        scrolled_window.add(self.webview)
        self.plug.set_default_size(800, 600)
        self.plug.add(scrolled_window)
        self.plug.show_all()

        self.send("attach_event", plug_id = str(self.plug.get_id()))
        self.navigate_event(url)