git-svn-id: svn://euphorik.ch/pompage@47 02bbb61a-6d21-0410-aba0-cb053bdfd66a

[pompage.git] / doc / webdeveloper / dialogs / resize.js

diff --git a/doc/webdeveloper/dialogs/resize.js b/doc/webdeveloper/dialogs/resize.js
deleted file mode 100644 (file)
index 005bc6a..0000000
--- a/doc/webdeveloper/dialogs/resize.js
+++ /dev/null
@@ -1,77 +0,0 @@
-// 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;
-    }
-}