doc/webdeveloper/options/dialogs/resize.js

   1 // Clears the resize options
   2 function webdeveloper_clearResize()
   3 {
   4     window.opener.webdeveloper_resizeDescription = null;
   5     window.opener.webdeveloper_resizeHeight      = null;
   6     window.opener.webdeveloper_resizeViewport    = false;
   7     window.opener.webdeveloper_resizeWidth       = null;
   8 }
   9
  10 // Initializes the resize dialog box
  11 function webdeveloper_initializeResize()
  12 {
  13     var stringBundle = document.getElementById("webdeveloper-string-bundle");
  14
  15     // If the first argument equals add
  16     if(window.arguments[0] == "add")
  17     {
  18         document.title = stringBundle.getString("webdeveloper_addResize");
  19     }
  20     else
  21     {
  22         document.title = stringBundle.getString("webdeveloper_editResize");
  23
  24         document.getElementById("webdeveloper.resize.description").value = window.arguments[1];
  25         document.getElementById("webdeveloper.resize.width").value       = window.arguments[2];
  26         document.getElementById("webdeveloper.resize.height").value      = window.arguments[3];
  27         document.getElementById("webdeveloper.resize.viewport").checked  = window.arguments[4];
  28     }
  29 }
  30
  31 // Saves the resize option
  32 function webdeveloper_saveResize()
  33 {
  34     var description  = document.getElementById("webdeveloper.resize.description").value.trim();
  35     var errors       = "";
  36     var height       = document.getElementById("webdeveloper.resize.height").value.trim();
  37     var stringBundle = document.getElementById("webdeveloper-string-bundle");
  38     var viewport     = document.getElementById("webdeveloper.resize.viewport").checked;
  39     var width        = document.getElementById("webdeveloper.resize.width").value.trim();
  40
  41     // If the description is empty
  42     if(!description)
  43     {
  44         errors += stringBundle.getString("webdeveloper_emptyDescription") + "\n";
  45     }
  46
  47     // If the width is empty or not a number or less than zero
  48     if(!width || parseInt(width) != width || width <= 0)
  49     {
  50         errors += stringBundle.getString("webdeveloper_invalidWidth") + "\n";
  51     }
  52
  53     // If the height is empty or not a number or less than zero
  54     if(!height || parseInt(height) != height || height <= 0)
  55     {
  56         errors += stringBundle.getString("webdeveloper_invalidHeight") + "\n";
  57     }
  58
  59     // If there are errors
  60     if(errors)
  61     {
  62         webdeveloper_error(errors.trim());
  63
  64         return false;
  65     }
  66     else
  67     {
  68         window.opener.webdeveloper_resizeDescription = description;
  69         window.opener.webdeveloper_resizeHeight      = height;
  70         window.opener.webdeveloper_resizeViewport    = viewport;
  71         window.opener.webdeveloper_resizeWidth       = width;
  72
  73         return true;
  74     }
  75 }