X-Git-Url: http://git.euphorik.ch/?p=pompage.git;a=blobdiff_plain;f=doc%2Fwebdeveloper%2Fcommon%2Fhistory.js;fp=doc%2Fwebdeveloper%2Fcommon%2Fhistory.js;h=a263abe68f3be8a19bb39c19e65c573832bf377b;hp=0000000000000000000000000000000000000000;hb=c3b0deb3d8c9f439739c79806e915c29bc1d4b84;hpb=cff6539539a79e014f6ac8df46716cafce2c8472

diff --git a/doc/webdeveloper/common/history.js b/doc/webdeveloper/common/history.js
new file mode 100644
index 0000000..a263abe
--- /dev/null
+++ b/doc/webdeveloper/common/history.js
@@ -0,0 +1,37 @@
+// 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));
+        }
+    }
+}