3 BrowserSettings = imports.BrowserSettings;
4 TabbedBrowser = imports.TabbedBrowser;
5 File = imports.File.File;
9 BrowserToolbar = new GType({
10 parent: Gtk.HBox.type,
11 name: "BrowserToolbar",
15 var url_bar = new Gtk.Entry();
17 var back_button = new Gtk.ToolButton({stock_id:"gtk-go-back"});
18 var forward_button = new Gtk.ToolButton({stock_id:"gtk-go-forward"});
19 var refresh_button = new Gtk.ToolButton({stock_id:"gtk-refresh"});
20 var grab_button = new Gtk.ToolButton({label:"mirror"});
22 var back = function ()
24 TabbedBrowser.browser.current_tab().get_web_view().go_back();
27 var forward = function ()
29 TabbedBrowser.browser.current_tab().get_web_view().go_forward();
32 var refresh = function ()
36 TabbedBrowser.browser.current_tab().get_web_view().reload();
37 TabbedBrowser.browser.current_tab().get_web_view().signals.onload_event(function() {
38 var fn = __script_path__ + "/inject.js";
39 if (File.exists(fn)) {
40 print("Adding inject");
41 var newjs = File.read(__script_path__ + "/inject.js");
42 TabbedBrowser.browser.current_tab().get_web_view().execute_script(
47 print("Sending gather links");
48 TabbedBrowser.browser.current_tab().get_web_view().execute_script(
56 var browse = function (url)
58 TabbedBrowser.browser.current_tab().get_web_view().browse(url.text);
61 var grab = function(){
62 print("sedning hello");
63 TabbedBrowser.browser.current_tab().get_web_view().execute_script(
72 this.set_url = function (url)
77 this.set_can_go_back = function (can_go_back)
79 back_button.sensitive = can_go_back;
82 this.set_can_go_forward = function (can_go_forward)
84 forward_button.sensitive = can_go_forward;
87 this.set_progress = function (progress)
89 if(BrowserSettings.have_progress_bar)
90 url_bar.set_progress_fraction(progress);
94 back_button.signal.clicked.connect(back);
95 forward_button.signal.clicked.connect(forward);
96 refresh_button.signal.clicked.connect(refresh);
97 url_bar.signal.activate.connect(browse);
98 grab_button.signal.clicked.connect(grab);
100 this.pack_start(back_button);
101 this.pack_start(forward_button);
104 this.pack_start(refresh_button);
105 this.pack_start(grab_button);
106 this.pack_start(url_bar, true, true);