2 WebKit = imports.gi.WebKit;
4 BrowserSettings = imports.BrowserSettings;
5 BrowserView = imports.BrowserView;
6 BrowserTab = imports.BrowserTab;
8 TabbedBrowser = new GType({
9 parent: Gtk.Notebook.type,
10 name: "TabbedBrowser",
14 this.close_tab = function (tab)
16 browser.remove_page(browser.page_num(tab));
19 if(!browser.get_n_pages())
21 browser.new_tab(BrowserSettings.home_page);
25 this.new_tab = function (url, new_web_view)
27 var new_tab = new BrowserTab.BrowserTab({web_view: new_web_view});
30 new_tab.get_web_view().browse(url);//"http://www.youtube.com/")
31 //new_tab.get_web_view().browse(url);
34 var tab_label = new Gtk.Label({label:"Untitled"});
35 var tab_button = new Gtk.Button({relief: Gtk.ReliefStyle.NONE});
36 tab_button.set_image(new Gtk.Image({stock: "gtk-close",
37 icon_size: Gtk.IconSize.MENU}));
38 tab_button.signal.clicked.connect(this.close_tab, this);
40 var tab_title = new Gtk.HBox();
41 tab_title.pack_start(tab_label);
42 tab_title.pack_start(tab_button);
45 new_tab.set_tab_label(tab_label);
47 this.append_page(new_tab, tab_title);
48 this.set_tab_reorderable(new_tab, true);
50 if(BrowserSettings.select_new_tabs)
51 this.page = this.page_num(new_tab);
54 this.current_tab = function ()
56 return this.get_nth_page(this.page);
60 this.new_tab(BrowserSettings.home_page);