3 BrowserSettings = imports.BrowserSettings;
4 TabbedBrowser = imports.TabbedBrowser;
6 BrowserToolbar = new GType({
8 name: "BrowserToolbar",
12 var url_bar = new Gtk.Entry();
14 var back_button = new Gtk.ToolButton({stock_id:"gtk-go-back"});
15 var forward_button = new Gtk.ToolButton({stock_id:"gtk-go-forward"});
16 var refresh_button = new Gtk.ToolButton({stock_id:"gtk-refresh"});
17 var grab_button = new Gtk.ToolButton({label:"grab"});
19 var back = function ()
21 TabbedBrowser.browser.current_tab().get_web_view().go_back();
24 var forward = function ()
26 TabbedBrowser.browser.current_tab().get_web_view().go_forward();
29 var refresh = function ()
31 TabbedBrowser.browser.current_tab().get_web_view().reload();
34 var browse = function (url)
36 TabbedBrowser.browser.current_tab().get_web_view().browse(url.text);
39 var grab = function(){
40 //TabbedBrowser.browser.current_tab().get_web_view().reload();
45 this.set_url = function (url)
50 this.set_can_go_back = function (can_go_back)
52 back_button.sensitive = can_go_back;
55 this.set_can_go_forward = function (can_go_forward)
57 forward_button.sensitive = can_go_forward;
60 this.set_progress = function (progress)
62 if(BrowserSettings.have_progress_bar)
63 url_bar.set_progress_fraction(progress);
67 back_button.signal.clicked.connect(back);
68 forward_button.signal.clicked.connect(forward);
69 refresh_button.signal.clicked.connect(refresh);
70 url_bar.signal.activate.connect(browse);
71 grab_button.signal.clicked.connect(grab);
73 this.pack_start(back_button);
74 this.pack_start(forward_button);
77 this.pack_start(refresh_button);
78 this.pack_start(grab_button);
79 this.pack_start(url_bar, true, true);