--- /dev/null
+// Adds an href to the history
+function webdeveloper_addToHistory(href)
+{
+ // If the href is set
+ if(href)
+ {
+ var globalHistory = Components.classes["@mozilla.org/browser/global-history;1"].getService(Components.interfaces.nsIGlobalHistory);
+
+ // If the href is not already in the history
+ if(!globalHistory.isVisited(href))
+ {
+ globalHistory.addPage(href);
+ }
+ }
+}
+
+// Clears the history
+function webdeveloper_removeAllFromHistory()
+{
+ Components.classes["@mozilla.org/browser/global-history;2"].getService(Components.interfaces.nsIBrowserHistory).removeAllPages();
+}
+
+// Removes an href from the history
+function webdeveloper_removeFromHistory(href)
+{
+ // If the href is set
+ if(href)
+ {
+ var globalHistory = Components.classes["@mozilla.org/browser/global-history;1"].getService(Components.interfaces.nsIGlobalHistory);
+
+ // If the href is in the history
+ if(globalHistory.isVisited(href))
+ {
+ Components.classes["@mozilla.org/browser/global-history;2"].getService(Components.interfaces.nsIBrowserHistory).removePage(Components.classes["@mozilla.org/network/io-service;1"].getService(Components.interfaces.nsIIOService).newURI(href, null, null));
+ }
+ }
+}