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

diff --git a/doc/webdeveloper/dialogs/resize.js b/doc/webdeveloper/dialogs/resize.js
new file mode 100644
index 0000000..005bc6a
--- /dev/null
+++ b/doc/webdeveloper/dialogs/resize.js
@@ -0,0 +1,77 @@
+// Initializes the resize dialog
+function webdeveloper_initializeResize()
+{
+    var resizeViewport = webdeveloper_getBooleanPreference("webdeveloper.resize.viewport", true);
+
+    document.getElementById("webdeveloper-resize-viewport").checked = resizeViewport;
+
+    // If resizing the viewport
+    if(resizeViewport)
+    {
+        document.getElementById("webdeveloper-resize-width").value  = window.arguments[2];
+        document.getElementById("webdeveloper-resize-height").value = window.arguments[3];
+    }
+    else
+    {
+        document.getElementById("webdeveloper-resize-width").value  = window.arguments[0];
+        document.getElementById("webdeveloper-resize-height").value = window.arguments[1];
+    }
+}
+
+// Resizes the parent window to the given width and height
+function webdeveloper_resizeParentWindow()
+{
+    var height = document.getElementById("webdeveloper-resize-height").value.trim();
+    var width  = document.getElementById("webdeveloper-resize-width").value.trim();
+
+    // If the width and height are valid
+    if(width && height && (width == "*" || (parseInt(width) == width && width > 0)) && (height == "*" || (parseInt(height) == height && height > 0)))
+    {
+        var contentWindow = window.opener.content;
+        var windowX       = window.opener.screenX;
+        var windowY       = window.opener.screenY;
+
+        // If resizing the view port
+        if(document.getElementById("webdeveloper-resize-viewport").checked)
+        {
+            webdeveloper_setBooleanPreferenceIfNotSet("webdeveloper.resize.viewport", true);
+
+            // If the width is not a wildcard
+            if(width != "*")
+            {
+                contentWindow.innerWidth  = width;
+            }
+
+            // If the height is not a wildcard
+            if(height != "*")
+            {
+                contentWindow.innerHeight = height;
+            }
+        }
+        else
+        {
+            // If the resize viewport preference is set
+            if(webdeveloper_isPreferenceSet("webdeveloper.resize.viewport"))
+            {
+                webdeveloper_deletePreference("webdeveloper.resize.viewport");
+            }
+
+            // If the width is a wildcard
+            if(width == "*")
+            {
+                width = contentWindow.outerWidth;
+            }
+
+            // If the height is a wildcard
+            if(height == "*")
+            {
+                height = contentWindow.outerHeight;
+            }
+
+            window.opener.resizeTo(width, height);
+        }
+
+        window.opener.screenX = windowX;
+        window.opener.screenY = windowY;
+    }
+}