X-Git-Url: http://git.euphorik.ch/?p=pompage.git;a=blobdiff_plain;f=doc%2Fwebdeveloper%2Fdialogs%2Foutline_elements.js;fp=doc%2Fwebdeveloper%2Fdialogs%2Foutline_elements.js;h=0000000000000000000000000000000000000000;hp=804dcb03a436238d54111a90f26daefe16c5b7e5;hb=eb7467621891b71883916c90f91bddf4c38d615f;hpb=de6efc861c1f471125cb4d3ab3d0f82572b3d21b

diff --git a/doc/webdeveloper/dialogs/outline_elements.js b/doc/webdeveloper/dialogs/outline_elements.js
deleted file mode 100644
index 804dcb0..0000000
--- a/doc/webdeveloper/dialogs/outline_elements.js
+++ /dev/null
@@ -1,52 +0,0 @@
-// Cancels the outline elements
-function webdeveloper_cancelOutlineElements()
-{
-    window.opener.document.getElementById("webdeveloper-outline-custom-elements-menu").checked = false;
-
-    window.close();
-}
-
-// Initializes the outline elements dialog
-function webdeveloper_initializeOutlineElements()
-{
-    var color   = null;
-    var element = null;
-
-    // Loop through the possible custom elements
-	for(var i = 1; i <= 5; i++)
-	{
-	    color   = "webdeveloper.custom." + i + ".color";
-	    element = "webdeveloper.custom." + i + ".element";
-
-        // If the color is set
-        if(webdeveloper_isPreferenceSet(color))
-        {
-		    document.getElementById(color).color = webdeveloper_getStringPreference(color, true);
-		}
-
-        // If the element is set
-        if(webdeveloper_isPreferenceSet(element))
-        {
-		    document.getElementById(element).value = webdeveloper_getStringPreference(element, true);
-		}
-	}
-}
-
-// Saves the list of colors and elements to outline
-function webdeveloper_saveOutlineElements()
-{
-    var color   = null;
-    var element = null;
-
-    // Loop through the possible custom elements
-	for(var i = 1; i <= 5; i++)
-	{
-	    color   = "webdeveloper.custom." + i + ".color";
-	    element = "webdeveloper.custom." + i + ".element";
-
-        webdeveloper_setStringPreference(color, document.getElementById(color).color);
-        webdeveloper_setStringPreference(element, document.getElementById(element).value.trim());
-	}
-
-	window.arguments[0].push(true);
-}
\ No newline at end of file