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=804dcb03a436238d54111a90f26daefe16c5b7e5;hp=0000000000000000000000000000000000000000;hb=c3b0deb3d8c9f439739c79806e915c29bc1d4b84;hpb=cff6539539a79e014f6ac8df46716cafce2c8472

diff --git a/doc/webdeveloper/dialogs/outline_elements.js b/doc/webdeveloper/dialogs/outline_elements.js
new file mode 100644
index 0000000..804dcb0
--- /dev/null
+++ b/doc/webdeveloper/dialogs/outline_elements.js
@@ -0,0 +1,52 @@
+// 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