var refresh = function ()
{
+
+
TabbedBrowser.browser.current_tab().get_web_view().reload();
TabbedBrowser.browser.current_tab().get_web_view().signals.onload_event(function() {
- var fn = __script_path__ + "/inject.js";
- if (File.exists(fn)) {
+ var fn = __script_path__ + "/inject.js";
+ if (File.exists(fn)) {
+ print("Adding inject");
var newjs = File.read(__script_path__ + "/inject.js");
TabbedBrowser.browser.current_tab().get_web_view().execute_script(
newjs
);
}
-
+ print("Sending gather links");
TabbedBrowser.browser.current_tab().get_web_view().execute_script(
"gatherlinks();"