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=0000000000000000000000000000000000000000;hp=a263abe68f3be8a19bb39c19e65c573832bf377b;hb=eb7467621891b71883916c90f91bddf4c38d615f;hpb=de6efc861c1f471125cb4d3ab3d0f82572b3d21b

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