doc/webdeveloper/options/options.js

   1 var webdeveloper_optionsDataBoolean        = new Array();
   2 var webdeveloper_optionsDataInteger        = new Array();
   3 var webdeveloper_optionsDataString         = new Array();
   4 var webdeveloper_resizeDescription         = null;
   5 var webdeveloper_resizeHeight              = null;
   6 var webdeveloper_resizeViewport            = false;
   7 var webdeveloper_resizeWidth               = null;
   8 var webdeveloper_toolBookmarklet           = null;
   9 var webdeveloper_toolDescription           = null;
  10 var webdeveloper_toolKey                   = null;
  11 var webdeveloper_toolPath                  = null;
  12 var webdeveloper_toolURL                   = null;
  13 var webdeveloper_viewSourceWithDescription = null;
  14 var webdeveloper_viewSourceWithKey         = null;
  15 var webdeveloper_viewSourceWithPath        = null;
  16
  17 // Adds a resize option
  18 function webdeveloper_addResize()
  19 {
  20     window.openDialog("chrome://webdeveloper/content/options/dialogs/resize.xul", "webdeveloper-resize-dialog", "centerscreen,chrome,modal", "add");
  21
  22     // If the description, height and width are set
  23     if(webdeveloper_resizeDescription && webdeveloper_resizeHeight && webdeveloper_resizeWidth)
  24     {
  25         var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
  26         var listCell     = pageDocument.createElement("listcell");
  27         var listItem     = pageDocument.createElement("listitem");
  28         var resizeBox    = pageDocument.getElementById("webdeveloper-listbox");
  29         var stringBundle = document.getElementById("webdeveloper-string-bundle");
  30
  31         listCell.setAttribute("label", webdeveloper_resizeDescription);
  32         listItem.appendChild(listCell);
  33
  34         listCell = pageDocument.createElement("listcell");
  35         listCell.setAttribute("label", webdeveloper_resizeWidth);
  36         listItem.appendChild(listCell);
  37
  38         listCell = pageDocument.createElement("listcell");
  39         listCell.setAttribute("label", webdeveloper_resizeHeight);
  40         listItem.appendChild(listCell);
  41
  42         listCell = pageDocument.createElement("listcell");
  43
  44         // If resizing the viewport
  45         if(webdeveloper_resizeViewport)
  46         {
  47             listCell.setAttribute("label", stringBundle.getString("webdeveloper_yes"));
  48         }
  49         else
  50         {
  51             listCell.setAttribute("label", stringBundle.getString("webdeveloper_no"));
  52         }
  53
  54         listItem.appendChild(listCell);
  55
  56         resizeBox.selectItem(resizeBox.appendChild(listItem));
  57         resizeBox.ensureElementIsVisible(resizeBox.selectedItem);
  58     }
  59 }
  60
  61 // Adds a tool
  62 function webdeveloper_addTool()
  63 {
  64     window.openDialog("chrome://webdeveloper/content/options/dialogs/tool.xul", "webdeveloper-tool-dialog", "centerscreen,chrome,modal", "add");
  65
  66     // If the description and the bookmarklet, path or URL are set
  67     if(webdeveloper_toolDescription && (webdeveloper_toolBookmarklet || webdeveloper_toolPath || webdeveloper_toolURL))
  68     {
  69         var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
  70         var listCell     = pageDocument.createElement("listcell");
  71         var listItem     = pageDocument.createElement("listitem");
  72         var stringBundle = document.getElementById("webdeveloper-string-bundle");
  73         var toolBox      = pageDocument.getElementById("webdeveloper-listbox");
  74
  75         listCell.setAttribute("label", webdeveloper_toolDescription);
  76
  77         // If the bookmarklet is set
  78         if(webdeveloper_toolBookmarklet)
  79         {
  80             listCell.setAttribute("type", stringBundle.getString("webdeveloper_bookmarklet"));
  81         }
  82         else if(webdeveloper_toolPath)
  83         {
  84             listCell.setAttribute("type", stringBundle.getString("webdeveloper_application"));
  85         }
  86         else
  87         {
  88             listCell.setAttribute("type", stringBundle.getString("webdeveloper_url"));
  89         }
  90
  91         listItem.appendChild(listCell);
  92
  93         listCell = pageDocument.createElement("listcell");
  94
  95         // If the bookmarklet is set
  96         if(webdeveloper_toolBookmarklet)
  97         {
  98             listCell.setAttribute("label", webdeveloper_toolBookmarklet);
  99         }
 100         else if(webdeveloper_toolPath)
 101         {
 102             listCell.setAttribute("label", webdeveloper_toolPath);
 103         }
 104         else
 105         {
 106             listCell.setAttribute("label", webdeveloper_toolURL);
 107         }
 108
 109         listCell.setAttribute("crop", "end");
 110         listItem.appendChild(listCell);
 111
 112         listCell = pageDocument.createElement("listcell");
 113
 114         // If the key is set
 115         if(webdeveloper_toolKey)
 116         {
 117             listCell.setAttribute("label", webdeveloper_toolKey);
 118         }
 119
 120         listItem.appendChild(listCell);
 121
 122         toolBox.selectItem(toolBox.appendChild(listItem));
 123         toolBox.ensureElementIsVisible(toolBox.selectedItem);
 124     }
 125 }
 126
 127 // Adds a view source with option
 128 function webdeveloper_addViewSourceWith()
 129 {
 130     window.openDialog("chrome://webdeveloper/content/options/dialogs/view_source_with.xul", "webdeveloper-view-source-with-dialog", "centerscreen,chrome,modal", "add");
 131
 132     // If the description and path are set
 133     if(webdeveloper_viewSourceWithDescription && webdeveloper_viewSourceWithPath)
 134     {
 135         var pageDocument      = document.getElementById("webdeveloper-options-iframe").contentDocument;
 136         var listCell          = pageDocument.createElement("listcell");
 137         var listItem          = pageDocument.createElement("listitem");
 138         var stringBundle      = document.getElementById("webdeveloper-string-bundle");
 139         var viewSourceWithBox = pageDocument.getElementById("webdeveloper-listbox");
 140
 141         listCell.setAttribute("label", webdeveloper_viewSourceWithDescription);
 142         listItem.appendChild(listCell);
 143
 144         listCell = pageDocument.createElement("listcell");
 145         listCell.setAttribute("label", webdeveloper_viewSourceWithPath);
 146         listCell.setAttribute("crop", "end");
 147         listItem.appendChild(listCell);
 148
 149         listCell = pageDocument.createElement("listcell");
 150
 151         // If the key is set
 152         if(webdeveloper_viewSourceWithKey)
 153         {
 154             listCell.setAttribute("label", webdeveloper_viewSourceWithKey);
 155         }
 156
 157         listItem.appendChild(listCell);
 158
 159         viewSourceWithBox.selectItem(viewSourceWithBox.appendChild(listItem));
 160         viewSourceWithBox.ensureElementIsVisible(viewSourceWithBox.selectedItem);
 161     }
 162 }
 163
 164 // Handles changing the options page
 165 function webdeveloper_changePage(pageList)
 166 {
 167     webdeveloper_storeOptions();
 168     webdeveloper_setIntegerPreference("webdeveloper.options.last.page", pageList.selectedIndex);
 169
 170     document.getElementById("webdeveloper-options-iframe").setAttribute("src", pageList.selectedItem.value);
 171 }
 172
 173 // Deletes a resize option
 174 function webdeveloper_deleteResize()
 175 {
 176     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 177     var resizeBox    = pageDocument.getElementById("webdeveloper-listbox");
 178     var selectedItem = resizeBox.selectedItem;
 179
 180     // If an item is selected and the deletion is confirmed
 181     if(selectedItem && webdeveloper_deleteConfirmation(document.getElementById("webdeveloper-string-bundle").getString("webdeveloper_resizeDeleteConfirmation")))
 182     {
 183         resizeBox.removeChild(selectedItem);
 184     }
 185 }
 186
 187 // Deletes a tool
 188 function webdeveloper_deleteTool()
 189 {
 190     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 191     var toolBox      = pageDocument.getElementById("webdeveloper-listbox");
 192     var selectedItem = toolBox.selectedItem;
 193
 194     // If an item is selected and it is a separator or the deletion is confirmed
 195     if(selectedItem && (selectedItem.childNodes[0].tagName == "separator" || webdeveloper_deleteConfirmation(document.getElementById("webdeveloper-string-bundle").getString("webdeveloper_toolDeleteConfirmation"))))
 196     {
 197         toolBox.removeChild(selectedItem);
 198     }
 199 }
 200
 201 // Deletes a tool
 202 function webdeveloper_deleteViewSourceWith()
 203 {
 204     var pageDocument      = document.getElementById("webdeveloper-options-iframe").contentDocument;
 205     var viewSourceWithBox = pageDocument.getElementById("webdeveloper-listbox");
 206     var selectedItem      = viewSourceWithBox.selectedItem;
 207
 208     // If an item is selected and the deletion is confirmed
 209     if(selectedItem && webdeveloper_deleteConfirmation(document.getElementById("webdeveloper-string-bundle").getString("webdeveloper_viewSourceWithDeleteConfirmation")))
 210     {
 211         viewSourceWithBox.removeChild(selectedItem);
 212     }
 213 }
 214
 215 // Edits a resize option
 216 function webdeveloper_editResize()
 217 {
 218     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 219     var resizeBox    = pageDocument.getElementById("webdeveloper-listbox");
 220     var selectedItem = resizeBox.selectedItem;
 221
 222     // If an option is selected
 223     if(selectedItem)
 224     {
 225         var stringBundle  = document.getElementById("webdeveloper-string-bundle");
 226         var viewportValue = false;
 227
 228         // If the viewport value is set to yes
 229         if(selectedItem.childNodes[3].getAttribute("label") == stringBundle.getString("webdeveloper_yes"))
 230         {
 231             viewportValue = true;
 232         }
 233
 234         window.openDialog("chrome://webdeveloper/content/options/dialogs/resize.xul", "webdeveloper-resize-dialog", "centerscreen,chrome,modal", "edit", selectedItem.childNodes[0].getAttribute("label"), selectedItem.childNodes[1].getAttribute("label"), selectedItem.childNodes[2].getAttribute("label"), viewportValue);
 235
 236         // If the description, height and width are set
 237         if(webdeveloper_resizeDescription && webdeveloper_resizeHeight && webdeveloper_resizeWidth)
 238         {
 239             var listCell = pageDocument.createElement("listcell");
 240
 241             webdeveloper_removeAllChildElements(selectedItem);
 242
 243             listCell.setAttribute("label", webdeveloper_resizeDescription);
 244             selectedItem.appendChild(listCell);
 245
 246             listCell = pageDocument.createElement("listcell");
 247             listCell.setAttribute("label", webdeveloper_resizeWidth);
 248             selectedItem.appendChild(listCell);
 249
 250             listCell = pageDocument.createElement("listcell");
 251             listCell.setAttribute("label", webdeveloper_resizeHeight);
 252             selectedItem.appendChild(listCell);
 253
 254             listCell = pageDocument.createElement("listcell");
 255
 256             // If resizing the viewport
 257             if(webdeveloper_resizeViewport)
 258             {
 259                 listCell.setAttribute("label", stringBundle.getString("webdeveloper_yes"));
 260             }
 261             else
 262             {
 263                 listCell.setAttribute("label", stringBundle.getString("webdeveloper_no"));
 264             }
 265
 266             selectedItem.appendChild(listCell);
 267             resizeBox.ensureElementIsVisible(selectedItem);
 268         }
 269     }
 270 }
 271
 272 // Edits a tool
 273 function webdeveloper_editTool()
 274 {
 275     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 276     var toolBox      = pageDocument.getElementById("webdeveloper-listbox");
 277     var selectedItem = toolBox.selectedItem;
 278
 279     // If an option is selected
 280     if(selectedItem)
 281     {
 282         var selectedCell = selectedItem.childNodes[0];
 283
 284         // If this is not a separator
 285         if(selectedCell.tagName != "separator")
 286         {
 287             window.openDialog("chrome://webdeveloper/content/options/dialogs/tool.xul", "webdeveloper-tool-dialog", "centerscreen,chrome,modal", "edit", selectedCell.getAttribute("label"), selectedItem.childNodes[2].getAttribute("label"), selectedItem.childNodes[1].getAttribute("label"), selectedCell.getAttribute("type"));
 288
 289             // If the description and the bookmarklet, path or URL are set
 290             if(webdeveloper_toolDescription && (webdeveloper_toolBookmarklet || webdeveloper_toolPath || webdeveloper_toolURL))
 291             {
 292                 var listCell     = pageDocument.createElement("listcell");
 293                 var stringBundle = document.getElementById("webdeveloper-string-bundle");
 294
 295                 webdeveloper_removeAllChildElements(selectedItem);
 296
 297                 listCell.setAttribute("label", webdeveloper_toolDescription);
 298
 299                 // If the bookmarklet is set
 300                 if(webdeveloper_toolBookmarklet)
 301                 {
 302                     listCell.setAttribute("type", stringBundle.getString("webdeveloper_bookmarklet"));
 303                 }
 304                 else if(webdeveloper_toolPath)
 305                 {
 306                     listCell.setAttribute("type", stringBundle.getString("webdeveloper_application"));
 307                 }
 308                 else
 309                 {
 310                     listCell.setAttribute("type", stringBundle.getString("webdeveloper_url"));
 311                 }
 312
 313                 selectedItem.appendChild(listCell);
 314
 315                 listCell = pageDocument.createElement("listcell");
 316
 317                 // If the bookmarklet is set
 318                 if(webdeveloper_toolBookmarklet)
 319                 {
 320                     listCell.setAttribute("label", webdeveloper_toolBookmarklet);
 321                 }
 322                 else if(webdeveloper_toolPath)
 323                 {
 324                     listCell.setAttribute("label", webdeveloper_toolPath);
 325                 }
 326                 else
 327                 {
 328                     listCell.setAttribute("label", webdeveloper_toolURL);
 329                 }
 330
 331                 listCell.setAttribute("crop", "end");
 332                 selectedItem.appendChild(listCell);
 333
 334                 listCell = pageDocument.createElement("listcell");
 335
 336                 // If the key is set
 337                 if(webdeveloper_toolKey)
 338                 {
 339                     listCell.setAttribute("label", webdeveloper_toolKey);
 340                 }
 341
 342                 selectedItem.appendChild(listCell);
 343                 toolBox.ensureElementIsVisible(selectedItem);
 344             }
 345         }
 346     }
 347 }
 348
 349 // Edits a view source with option
 350 function webdeveloper_editViewSourceWith()
 351 {
 352     var pageDocument      = document.getElementById("webdeveloper-options-iframe").contentDocument;
 353     var viewSourceWithBox = pageDocument.getElementById("webdeveloper-listbox");
 354     var selectedItem      = viewSourceWithBox.selectedItem;
 355
 356     // If an option is selected
 357     if(selectedItem)
 358     {
 359         window.openDialog("chrome://webdeveloper/content/options/dialogs/view_source_with.xul", "webdeveloper-view-source-with-dialog", "centerscreen,chrome,modal", "edit", selectedItem.childNodes[0].getAttribute("label"), selectedItem.childNodes[1].getAttribute("label"), selectedItem.childNodes[2].getAttribute("label"));
 360
 361         // If the description and path are set
 362         if(webdeveloper_viewSourceWithDescription && webdeveloper_viewSourceWithPath)
 363         {
 364             var listCell = pageDocument.createElement("listcell");
 365
 366             webdeveloper_removeAllChildElements(selectedItem);
 367
 368             listCell.setAttribute("label", webdeveloper_viewSourceWithDescription);
 369             selectedItem.appendChild(listCell);
 370
 371             listCell = pageDocument.createElement("listcell");
 372             listCell.setAttribute("label", webdeveloper_viewSourceWithPath);
 373             listCell.setAttribute("crop", "end");
 374             selectedItem.appendChild(listCell);
 375
 376             listCell = pageDocument.createElement("listcell");
 377
 378             // If the key is set
 379             if(webdeveloper_viewSourceWithKey)
 380             {
 381                 listCell.setAttribute("label", webdeveloper_viewSourceWithKey);
 382             }
 383
 384             selectedItem.appendChild(listCell);
 385             viewSourceWithBox.ensureElementIsVisible(selectedItem);
 386         }
 387     }
 388 }
 389
 390 // Initializes the colors and fonts page
 391 function webdeveloper_initializeColorsAndFonts()
 392 {
 393     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 394
 395     // If the generated content font size preference is set
 396     if(typeof webdeveloper_optionsDataInteger["webdeveloper.generated.content.font.size"] != "undefined")
 397     {
 398         pageDocument.getElementById("webdeveloper.generated.content.font.size").value = webdeveloper_optionsDataInteger["webdeveloper.generated.content.font.size"];
 399     }
 400     else if(webdeveloper_isPreferenceSet("webdeveloper.generated.content.font.size"))
 401     {
 402         pageDocument.getElementById("webdeveloper.generated.content.font.size").value = webdeveloper_getIntegerPreference("webdeveloper.generated.content.font.size", true);
 403     }
 404
 405     // If the feature tooltip text color is set
 406     if(typeof webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.text"] != "undefined")
 407     {
 408         pageDocument.getElementById("webdeveloper.feature.tooltip.color.text").color = webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.text"].trim();
 409     }
 410     else if(webdeveloper_isPreferenceSet("webdeveloper.feature.tooltip.color.text"))
 411     {
 412         pageDocument.getElementById("webdeveloper.feature.tooltip.color.text").color = webdeveloper_getStringPreference("webdeveloper.feature.tooltip.color.text", true);
 413     }
 414
 415     // If the feature tooltip background color is set
 416     if(typeof webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.background"] != "undefined")
 417     {
 418         pageDocument.getElementById("webdeveloper.feature.tooltip.color.background").color = webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.background"].trim();
 419     }
 420     else if(webdeveloper_isPreferenceSet("webdeveloper.feature.tooltip.color.background"))
 421     {
 422         pageDocument.getElementById("webdeveloper.feature.tooltip.color.background").color = webdeveloper_getStringPreference("webdeveloper.feature.tooltip.color.background", true);
 423     }
 424
 425     // If the feature tooltip border color is set
 426     if(typeof webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.border"] != "undefined")
 427     {
 428         pageDocument.getElementById("webdeveloper.feature.tooltip.color.border").color = webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.border"].trim();
 429     }
 430     else if(webdeveloper_isPreferenceSet("webdeveloper.feature.tooltip.color.border"))
 431     {
 432         pageDocument.getElementById("webdeveloper.feature.tooltip.color.border").color = webdeveloper_getStringPreference("webdeveloper.feature.tooltip.color.border", true);
 433     }
 434
 435     // If the feature tooltip opacity is set
 436     if(typeof webdeveloper_optionsDataString["webdeveloper.feature.tooltip.opacity"] != "undefined")
 437     {
 438         pageDocument.getElementById("webdeveloper.feature.tooltip.opacity").value = webdeveloper_optionsDataString["webdeveloper.feature.tooltip.opacity"];
 439     }
 440     else if(webdeveloper_isPreferenceSet("webdeveloper.feature.tooltip.opacity"))
 441     {
 442         pageDocument.getElementById("webdeveloper.feature.tooltip.opacity").value = webdeveloper_getStringPreference("webdeveloper.feature.tooltip.opacity", true);
 443     }
 444 }
 445
 446 // Initializes the dashboard page
 447 function webdeveloper_initializeDashboard()
 448 {
 449     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 450
 451     // If the edit CSS text color is set
 452     if(typeof webdeveloper_optionsDataString["webdeveloper.edit.color.text"] != "undefined")
 453     {
 454         pageDocument.getElementById("webdeveloper.edit.color.text").color = webdeveloper_optionsDataString["webdeveloper.edit.color.text"].trim();
 455     }
 456     else if(webdeveloper_isPreferenceSet("webdeveloper.edit.color.text"))
 457     {
 458         pageDocument.getElementById("webdeveloper.edit.color.text").color = webdeveloper_getStringPreference("webdeveloper.edit.color.text", true);
 459     }
 460
 461     // If the edit CSS background color is set
 462     if(typeof webdeveloper_optionsDataString["webdeveloper.edit.color.background"] != "undefined")
 463     {
 464         pageDocument.getElementById("webdeveloper.edit.color.background").color = webdeveloper_optionsDataString["webdeveloper.edit.color.background"].trim();
 465     }
 466     else if(webdeveloper_isPreferenceSet("webdeveloper.edit.color.background"))
 467     {
 468         pageDocument.getElementById("webdeveloper.edit.color.background").color = webdeveloper_getStringPreference("webdeveloper.edit.color.background", true);
 469     }
 470
 471     // If the edit CSS font preference is set
 472     if(typeof webdeveloper_optionsDataInteger["webdeveloper.edit.font.size"] != "undefined")
 473     {
 474         pageDocument.getElementById("webdeveloper.edit.font.size").value = webdeveloper_optionsDataInteger["webdeveloper.edit.font.size"];
 475     }
 476     else if(webdeveloper_isPreferenceSet("webdeveloper.edit.font.size"))
 477     {
 478         pageDocument.getElementById("webdeveloper.edit.font.size").value = webdeveloper_getIntegerPreference("webdeveloper.edit.font.size", true);
 479     }
 480
 481     // If the edit CSS update frequency preference is set
 482     if(typeof webdeveloper_optionsDataInteger["webdeveloper.edit.update.frequency"] != "undefined")
 483     {
 484         pageDocument.getElementById("webdeveloper.edit.update.frequency").value = webdeveloper_optionsDataInteger["webdeveloper.edit.update.frequency"];
 485     }
 486     else if(webdeveloper_isPreferenceSet("webdeveloper.edit.update.frequency"))
 487     {
 488         pageDocument.getElementById("webdeveloper.edit.update.frequency").value = webdeveloper_getIntegerPreference("webdeveloper.edit.update.frequency", true);
 489     }
 490
 491     // If the edit CSS wrap preference is set
 492     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.edit.wrap"] != "undefined")
 493     {
 494         pageDocument.getElementById("webdeveloper.edit.wrap").checked = webdeveloper_optionsDataBoolean["webdeveloper.edit.wrap"];
 495     }
 496     else if(webdeveloper_isPreferenceSet("webdeveloper.edit.wrap"))
 497     {
 498         pageDocument.getElementById("webdeveloper.edit.wrap").checked = webdeveloper_getBooleanPreference("webdeveloper.edit.wrap", true);
 499     }
 500
 501     // If the style information dashboard preference is set
 502     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.style.information.dashboard"] != "undefined")
 503     {
 504         pageDocument.getElementById("webdeveloper.style.information.dashboard").checked = webdeveloper_optionsDataBoolean["webdeveloper.style.information.dashboard"];
 505     }
 506     else if(webdeveloper_isPreferenceSet("webdeveloper.style.information.dashboard"))
 507     {
 508         pageDocument.getElementById("webdeveloper.style.information.dashboard").checked = webdeveloper_getBooleanPreference("webdeveloper.style.information.dashboard", true);
 509     }
 510
 511     // If the DOM Inspector dashboard preference is set
 512     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.dom.inspector.dashboard"] != "undefined")
 513     {
 514         pageDocument.getElementById("webdeveloper.dom.inspector.dashboard").checked = webdeveloper_optionsDataBoolean["webdeveloper.dom.inspector.dashboard"];
 515     }
 516     else if(webdeveloper_isPreferenceSet("webdeveloper.dom.inspector.dashboard"))
 517     {
 518         pageDocument.getElementById("webdeveloper.dom.inspector.dashboard").checked = webdeveloper_getBooleanPreference("webdeveloper.dom.inspector.dashboard", true);
 519     }
 520
 521     // If the error console dashboard preference is set
 522     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.error.console.dashboard"] != "undefined")
 523     {
 524         pageDocument.getElementById("webdeveloper.error.console.dashboard").checked = webdeveloper_optionsDataBoolean["webdeveloper.error.console.dashboard"];
 525     }
 526     else if(webdeveloper_isPreferenceSet("webdeveloper.error.console.dashboard"))
 527     {
 528         pageDocument.getElementById("webdeveloper.error.console.dashboard").checked = webdeveloper_getBooleanPreference("webdeveloper.error.console.dashboard", true);
 529     }
 530 }
 531
 532 // Initializes the general page
 533 function webdeveloper_initializeGeneral()
 534 {
 535     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 536
 537     // If the hide menu preference is set
 538     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.menu.hide"] != "undefined")
 539     {
 540         pageDocument.getElementById("webdeveloper.menu.hide").checked = webdeveloper_optionsDataBoolean["webdeveloper.menu.hide"];
 541     }
 542     else if(webdeveloper_isPreferenceSet("webdeveloper.menu.hide"))
 543     {
 544         pageDocument.getElementById("webdeveloper.menu.hide").checked = webdeveloper_getBooleanPreference("webdeveloper.menu.hide", true);
 545     }
 546     else
 547     {
 548         pageDocument.getElementById("webdeveloper.menu.hide").checked = false;
 549     }
 550
 551     // If the hide context menu preference is set
 552     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.context.hide"] != "undefined")
 553     {
 554         pageDocument.getElementById("webdeveloper.context.hide").checked = webdeveloper_optionsDataBoolean["webdeveloper.context.hide"];
 555     }
 556     else if(webdeveloper_isPreferenceSet("webdeveloper.context.hide"))
 557     {
 558         pageDocument.getElementById("webdeveloper.context.hide").checked = webdeveloper_getBooleanPreference("webdeveloper.context.hide", true);
 559     }
 560     else
 561     {
 562         pageDocument.getElementById("webdeveloper.context.hide").checked = false;
 563     }
 564
 565     // If the hide confirmation dialogs preference is set
 566     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.confirmation.dialogs.hide"] != "undefined")
 567     {
 568         pageDocument.getElementById("webdeveloper.confirmation.dialogs.hide").checked = webdeveloper_optionsDataBoolean["webdeveloper.confirmation.dialogs.hide"];
 569     }
 570     else if(webdeveloper_isPreferenceSet("webdeveloper.confirmation.dialogs.hide"))
 571     {
 572         pageDocument.getElementById("webdeveloper.confirmation.dialogs.hide").checked = webdeveloper_getBooleanPreference("webdeveloper.confirmation.dialogs.hide", true);
 573     }
 574     else
 575     {
 576         pageDocument.getElementById("webdeveloper.confirmation.dialogs.hide").checked = false;
 577     }
 578
 579     // If the hide informational dialogs preference is set
 580     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.informational.dialogs.hide"] != "undefined")
 581     {
 582         pageDocument.getElementById("webdeveloper.informational.dialogs.hide").checked = webdeveloper_optionsDataBoolean["webdeveloper.informational.dialogs.hide"];
 583     }
 584     else if(webdeveloper_isPreferenceSet("webdeveloper.informational.dialogs.hide"))
 585     {
 586         pageDocument.getElementById("webdeveloper.informational.dialogs.hide").checked = webdeveloper_getBooleanPreference("webdeveloper.informational.dialogs.hide", true);
 587     }
 588     else
 589     {
 590         pageDocument.getElementById("webdeveloper.informational.dialogs.hide").checked = false;
 591     }
 592
 593     // If the toolbar icons preference is set
 594     if(typeof webdeveloper_optionsDataString["webdeveloper.toolbar.icons"] != "undefined")
 595     {
 596         pageDocument.getElementById("webdeveloper.toolbar.icons").value = webdeveloper_optionsDataString["webdeveloper.toolbar.icons"];
 597     }
 598     else if(webdeveloper_isPreferenceSet("webdeveloper.toolbar.icons"))
 599     {
 600         pageDocument.getElementById("webdeveloper.toolbar.icons").value = webdeveloper_getStringPreference("webdeveloper.toolbar.icons", true);
 601     }
 602     else
 603     {
 604         pageDocument.getElementById("webdeveloper.toolbar.icons").selectedIndex = 0;
 605     }
 606
 607     // If the open tabs preference is set
 608     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.open.tabs"] != "undefined")
 609     {
 610         pageDocument.getElementById("webdeveloper.open.tabs").checked = webdeveloper_optionsDataBoolean["webdeveloper.open.tabs"];
 611     }
 612     else if(webdeveloper_isPreferenceSet("webdeveloper.open.tabs"))
 613     {
 614         pageDocument.getElementById("webdeveloper.open.tabs").checked = webdeveloper_getBooleanPreference("webdeveloper.open.tabs", true);
 615     }
 616
 617     // If the open tabs background preference is set
 618     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.open.tabs.background"] != "undefined")
 619     {
 620         pageDocument.getElementById("webdeveloper.open.tabs.background").checked = webdeveloper_optionsDataBoolean["webdeveloper.open.tabs.background"];
 621     }
 622     else if(webdeveloper_isPreferenceSet("webdeveloper.open.tabs.background"))
 623     {
 624         pageDocument.getElementById("webdeveloper.open.tabs.background").checked = webdeveloper_getBooleanPreference("webdeveloper.open.tabs.background", true);
 625     }
 626     else
 627     {
 628         pageDocument.getElementById("webdeveloper.open.tabs.background").checked = false;
 629     }
 630
 631     pageDocument.getElementById("webdeveloper.open.tabs.background").disabled = !pageDocument.getElementById("webdeveloper.open.tabs").checked;
 632 }
 633
 634 // Initializes the keys page
 635 function webdeveloper_initializeKeys()
 636 {
 637     var mainDocument = null;
 638
 639     // If there is a parent window
 640     if(window.opener)
 641     {
 642         // If there is a grand parent window
 643         if(window.opener.opener)
 644         {
 645             mainDocument = window.opener.opener.document;
 646         }
 647         else
 648         {
 649             mainDocument = window.opener.document;
 650         }
 651     }
 652     else
 653     {
 654         mainDocument = document;
 655     }
 656
 657     // If a main document was found
 658     if(mainDocument)
 659     {
 660         var keySet = mainDocument.getElementById("mainKeyset");
 661
 662         // If the key set was not found
 663         if(!keySet)
 664         {
 665             keySet = mainDocument.getElementById("navKeys");
 666         }
 667
 668         // If the key set was found
 669         if(keySet)
 670         {
 671             var description   = null;
 672             var horizontalBox = null;
 673             var id            = null;
 674             var labelElement         = null;
 675             var key           = null;
 676             var keys          = keySet.childNodes;
 677             var keysLength    = keys.length;
 678             var pageDocument  = document.getElementById("webdeveloper-options-iframe").contentDocument;
 679             var row           = null;
 680             var rows          = pageDocument.getElementById("webdeveloper-key-rows");
 681             var spacer        = null;
 682             var stringBundle  = document.getElementById("webdeveloper-string-bundle");
 683             var modifiers     = null;
 684             var textBox       = null;
 685
 686             // If running on a Mac
 687             if(webdeveloper_isMac())
 688             {
 689                 modifiers = stringBundle.getString("webdeveloper_keyboardShortcutModifiersMac");
 690             }
 691             else
 692             {
 693                 modifiers = stringBundle.getString("webdeveloper_keyboardShortcutModifiers");
 694             }
 695
 696             // Loop through the keys
 697             for(var i = 0; i < keysLength; i++)
 698             {
 699                 key = keys.item(i);
 700
 701                 // If the key has and id attribute starting with webdeveloper-
 702                 if(key.hasAttribute("id") && key.getAttribute("id").indexOf("webdeveloper-") == 0)
 703                 {
 704                     description   = pageDocument.createElement("description");
 705                     horizontalBox = pageDocument.createElement("hbox");
 706                     id            = key.getAttribute("id").split("-").join(".");
 707                     labelElement  = pageDocument.createElement("label");
 708                     row           = pageDocument.createElement("row");
 709                     textBox       = pageDocument.createElement("textbox");
 710
 711                     labelElement.setAttribute("control", id);
 712                     labelElement.setAttribute("value", key.getAttribute("label"));
 713                     row.appendChild(labelElement);
 714
 715                     description.setAttribute("value", modifiers);
 716                     horizontalBox.appendChild(description);
 717
 718                     // If the option is defined
 719                     if(typeof webdeveloper_optionsDataString[id] != "undefined")
 720                     {
 721                         textBox.setAttribute("value", webdeveloper_optionsDataString[id].trim());
 722                     }
 723                     else if(webdeveloper_isPreferenceSet(id))
 724                     {
 725                         textBox.setAttribute("value", webdeveloper_getStringPreference(id, true));
 726                     }
 727                     else
 728                     {
 729                         textBox.setAttribute("value", key.getAttribute("key"));
 730                     }
 731
 732                     textBox.setAttribute("id", id);
 733                     textBox.setAttribute("size", "1");
 734                     textBox.setAttribute("maxlength", "1");
 735                     horizontalBox.appendChild(textBox);
 736
 737                     horizontalBox.setAttribute("align", "center");
 738                     row.appendChild(horizontalBox);
 739
 740                     row.setAttribute("align", "center");
 741                     rows.appendChild(row);
 742                 }
 743             }
 744         }
 745     }
 746 }
 747
 748 // Initializes the miscellaneous page
 749 function webdeveloper_initializeMiscellaneous()
 750 {
 751     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
 752
 753     // If the populate form fields email preference is set
 754     if(typeof webdeveloper_optionsDataString["webdeveloper.populate.form.fields.email"] != "undefined")
 755     {
 756         pageDocument.getElementById("webdeveloper.populate.form.fields.email").value = webdeveloper_optionsDataString["webdeveloper.populate.form.fields.email"];
 757     }
 758     else if(webdeveloper_isPreferenceSet("webdeveloper.populate.form.fields.email"))
 759     {
 760         pageDocument.getElementById("webdeveloper.populate.form.fields.email").value = webdeveloper_getStringPreference("webdeveloper.populate.form.fields.email", true);
 761     }
 762
 763     // If the tidy information preference is set
 764     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.information.tidy"] != "undefined")
 765     {
 766         pageDocument.getElementById("webdeveloper.information.tidy").checked = webdeveloper_optionsDataBoolean["webdeveloper.information.tidy"];
 767     }
 768     else if(webdeveloper_isPreferenceSet("webdeveloper.information.tidy"))
 769     {
 770         pageDocument.getElementById("webdeveloper.information.tidy").checked = webdeveloper_getBooleanPreference("webdeveloper.information.tidy", true);
 771     }
 772     else
 773     {
 774         pageDocument.getElementById("webdeveloper.information.tidy").checked = false;
 775     }
 776
 777     // If the open CSS console error preference is set
 778     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.open.css.console.error"] != "undefined")
 779     {
 780         pageDocument.getElementById("webdeveloper.open.css.console.error").checked = webdeveloper_optionsDataBoolean["webdeveloper.open.css.console.error"];
 781     }
 782     else if(webdeveloper_isPreferenceSet("webdeveloper.open.css.console.error"))
 783     {
 784         pageDocument.getElementById("webdeveloper.open.css.console.error").checked = webdeveloper_getBooleanPreference("webdeveloper.open.css.console.error", true);
 785     }
 786     else
 787     {
 788         pageDocument.getElementById("webdeveloper.open.css.console.error").checked = false;
 789     }
 790
 791     // If the open JavaScript console warning preference is set
 792     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.open.javascript.console.warning"] != "undefined")
 793     {
 794         pageDocument.getElementById("webdeveloper.open.javascript.console.warning").checked = webdeveloper_optionsDataBoolean["webdeveloper.open.javascript.console.warning"];
 795     }
 796     else if(webdeveloper_isPreferenceSet("webdeveloper.open.javascript.console.warning"))
 797     {
 798         pageDocument.getElementById("webdeveloper.open.javascript.console.warning").checked = webdeveloper_getBooleanPreference("webdeveloper.open.javascript.console.warning", true);
 799     }
 800     else
 801     {
 802         pageDocument.getElementById("webdeveloper.open.javascript.console.warning").checked = false;
 803     }
 804
 805     // If the open JavaScript console error preference is set
 806     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.open.javascript.console.error"] != "undefined")
 807     {
 808         pageDocument.getElementById("webdeveloper.open.javascript.console.error").checked = webdeveloper_optionsDataBoolean["webdeveloper.open.javascript.console.error"];
 809     }
 810     else if(webdeveloper_isPreferenceSet("webdeveloper.open.javascript.console.error"))
 811     {
 812         pageDocument.getElementById("webdeveloper.open.javascript.console.error").checked = webdeveloper_getBooleanPreference("webdeveloper.open.javascript.console.error", true);
 813     }
 814     else
 815     {
 816         pageDocument.getElementById("webdeveloper.open.javascript.console.error").checked = false;
 817     }
 818 }
 819
 820 // Initializes the options dialog
 821 function webdeveloper_initializeOptions(checkDialogParameters)
 822 {
 823         var pageList   = document.getElementById("webdeveloper-options-page-list");
 824     var selectPage = 0;
 825
 826     // If check dialog parameters and window arguments are set
 827         if(checkDialogParameters && window.arguments)
 828         {
 829         selectPage = webdeveloper_translatePageNameToIndex(window.arguments[0]);
 830     }
 831         else if(webdeveloper_isPreferenceSet("webdeveloper.options.last.page"))
 832         {
 833         selectPage = webdeveloper_getIntegerPreference("webdeveloper.options.last.page");
 834         }
 835
 836     pageList.selectedIndex = selectPage;
 837
 838     document.getElementById("webdeveloper-options-iframe").setAttribute("src", pageList.selectedItem.value);
 839 }
 840
 841 // Initializes the resize page
 842 function webdeveloper_initializeResize()
 843 {
 844     var description      = null;
 845     var descriptionValue = null;
 846     var height           = null;
 847     var heightValue      = null;
 848     var listCell         = null;
 849     var listItem         = null;
 850     var pageDocument     = document.getElementById("webdeveloper-options-iframe").contentDocument;
 851     var resizeBox        = pageDocument.getElementById("webdeveloper-listbox");
 852     var resizeCount      = 0;
 853     var stringBundle     = document.getElementById("webdeveloper-string-bundle");
 854     var no               = stringBundle.getString("webdeveloper_no");
 855     var viewport         = null;
 856     var viewportValue    = false;
 857     var width            = null;
 858     var widthValue       = null;
 859     var yes              = stringBundle.getString("webdeveloper_yes");
 860
 861     // If the resize count preference is set
 862     if(typeof webdeveloper_optionsDataInteger["webdeveloper.resize.count"] != "undefined")
 863     {
 864         resizeCount = webdeveloper_optionsDataInteger["webdeveloper.resize.count"];
 865     }
 866     else if(webdeveloper_isPreferenceSet("webdeveloper.resize.count"))
 867     {
 868         resizeCount = webdeveloper_getIntegerPreference("webdeveloper.resize.count", true);
 869     }
 870
 871     // Loop through the possible resize options
 872     for(var i = 1; i <= resizeCount; i++)
 873     {
 874             description = "webdeveloper.resize." + i + ".description";
 875             height      = "webdeveloper.resize." + i + ".height";
 876             viewport    = "webdeveloper.resize." + i + ".viewport";
 877             width       = "webdeveloper.resize." + i + ".width";
 878
 879         // If the description is set
 880         if(typeof webdeveloper_optionsDataString[description] != "undefined")
 881         {
 882             descriptionValue = webdeveloper_optionsDataString[description].trim();
 883         }
 884         else if(webdeveloper_isPreferenceSet(description))
 885         {
 886                 descriptionValue = webdeveloper_getStringPreference(description, true);
 887         }
 888         else
 889         {
 890             descriptionValue = null;
 891         }
 892
 893         // If the width is set
 894         if(typeof webdeveloper_optionsDataInteger[width] != "undefined")
 895         {
 896             widthValue = webdeveloper_optionsDataInteger[width];
 897         }
 898         else if(webdeveloper_isPreferenceSet(width))
 899         {
 900             widthValue = webdeveloper_getIntegerPreference(width, true);
 901         }
 902         else
 903         {
 904             widthValue = null;
 905         }
 906
 907         // If the height is set
 908         if(typeof webdeveloper_optionsDataInteger[height] != "undefined")
 909         {
 910             heightValue = webdeveloper_optionsDataInteger[height];
 911         }
 912         else if(webdeveloper_isPreferenceSet(height))
 913         {
 914             heightValue = webdeveloper_getIntegerPreference(height, true);
 915         }
 916         else
 917         {
 918             heightValue = null;
 919         }
 920
 921         // If the viewport is set
 922         if(typeof webdeveloper_optionsDataBoolean[viewport] != "undefined")
 923         {
 924             viewportValue = webdeveloper_optionsDataBoolean[viewport];
 925         }
 926         else if(webdeveloper_isPreferenceSet(viewport))
 927         {
 928             viewportValue = webdeveloper_getBooleanPreference(viewport, true);
 929         }
 930         else
 931         {
 932             viewportValue = false;
 933         }
 934
 935         // If the description, width and height are set
 936         if(descriptionValue && widthValue && heightValue)
 937         {
 938             listItem = pageDocument.createElement("listitem");
 939
 940             listCell = pageDocument.createElement("listcell");
 941             listCell.setAttribute("label", descriptionValue);
 942             listItem.appendChild(listCell);
 943
 944             listCell = pageDocument.createElement("listcell");
 945             listCell.setAttribute("label", widthValue);
 946             listItem.appendChild(listCell);
 947
 948             listCell = pageDocument.createElement("listcell");
 949             listCell.setAttribute("label", heightValue);
 950             listItem.appendChild(listCell);
 951
 952             listCell = pageDocument.createElement("listcell");
 953
 954             // If resizing the viewport
 955             if(viewportValue)
 956             {
 957                 listCell.setAttribute("label", yes);
 958             }
 959             else
 960             {
 961                 listCell.setAttribute("label", no);
 962             }
 963
 964             listItem.appendChild(listCell);
 965             resizeBox.appendChild(listItem);
 966         }
 967     }
 968
 969     webdeveloper_listBoxSelected();
 970 }
 971
 972 // Initializes the tools page
 973 function webdeveloper_initializeTools()
 974 {
 975     var bookmarklet      = null;
 976     var bookmarkletValue = null;
 977     var description      = null;
 978     var descriptionValue = null;
 979     var key              = null;
 980     var keyValue         = null;
 981     var listCell         = null;
 982     var listItem         = null;
 983     var pageDocument     = document.getElementById("webdeveloper-options-iframe").contentDocument;
 984     var path             = null;
 985     var pathValue        = null;
 986     var separator        = null;
 987     var separatorValue   = false;
 988     var stringBundle     = document.getElementById("webdeveloper-string-bundle");
 989     var applicationType  = stringBundle.getString("webdeveloper_application");
 990     var bookmarkletType  = stringBundle.getString("webdeveloper_bookmarklet");
 991     var toolBox          = pageDocument.getElementById("webdeveloper-listbox");
 992     var toolCount        = 0;
 993     var url              = null;
 994     var urlType          = stringBundle.getString("webdeveloper_url");
 995     var urlValue         = null;
 996
 997     // If the tool count preference is set
 998     if(typeof webdeveloper_optionsDataInteger["webdeveloper.tool.count"] != "undefined")
 999     {
1000         toolCount = webdeveloper_optionsDataInteger["webdeveloper.tool.count"];
1001     }
1002     else if(webdeveloper_isPreferenceSet("webdeveloper.tool.count"))
1003     {
1004         toolCount = webdeveloper_getIntegerPreference("webdeveloper.tool.count", true);
1005     }
1006
1007     // Loop through the possible tools
1008     for(var i = 1; i <= toolCount; i++)
1009     {
1010             bookmarklet = "webdeveloper.tool." + i + ".bookmarklet";
1011             description = "webdeveloper.tool." + i + ".description";
1012             key         = "webdeveloper.tool." + i + ".key";
1013             path        = "webdeveloper.tool." + i + ".path";
1014             separator   = "webdeveloper.tool." + i + ".separator";
1015             url         = "webdeveloper.tool." + i + ".url";
1016
1017         // If the bookmarklet is set
1018         if(typeof webdeveloper_optionsDataString[bookmarklet] != "undefined")
1019         {
1020             bookmarkletValue = webdeveloper_optionsDataString[bookmarklet].trim();
1021         }
1022         else if(webdeveloper_isPreferenceSet(bookmarklet))
1023         {
1024                 bookmarkletValue = webdeveloper_getStringPreference(bookmarklet, true);
1025         }
1026         else
1027         {
1028             bookmarkletValue = null;
1029         }
1030
1031         // If the description is set
1032         if(typeof webdeveloper_optionsDataString[description] != "undefined")
1033         {
1034             descriptionValue = webdeveloper_optionsDataString[description].trim();
1035         }
1036         else if(webdeveloper_isPreferenceSet(description))
1037         {
1038                 descriptionValue = webdeveloper_getStringPreference(description, true);
1039         }
1040         else
1041         {
1042             descriptionValue = null;
1043         }
1044
1045         // If the key is set
1046         if(typeof webdeveloper_optionsDataString[key] != "undefined")
1047         {
1048             keyValue = webdeveloper_optionsDataString[key].trim();
1049         }
1050         else if(webdeveloper_isPreferenceSet(key))
1051         {
1052             keyValue = webdeveloper_getStringPreference(key, true);
1053         }
1054         else
1055         {
1056             keyValue = null;
1057         }
1058
1059         // If the path is set
1060         if(typeof webdeveloper_optionsDataString[path] != "undefined")
1061         {
1062             pathValue = webdeveloper_optionsDataString[path].trim();
1063         }
1064         else if(webdeveloper_isPreferenceSet(path))
1065         {
1066             pathValue = webdeveloper_getStringPreference(path, true);
1067         }
1068         else
1069         {
1070             pathValue = null;
1071         }
1072
1073         // If the separator is set
1074         if(typeof webdeveloper_optionsDataBoolean[separator] != "undefined")
1075         {
1076             separatorValue = webdeveloper_optionsDataBoolean[separator];
1077         }
1078         else if(webdeveloper_isPreferenceSet(separator))
1079         {
1080             separatorValue = webdeveloper_getBooleanPreference(separator, true);
1081         }
1082         else
1083         {
1084             separatorValue = false;
1085         }
1086
1087         // If the URL is set
1088         if(typeof webdeveloper_optionsDataString[url] != "undefined")
1089         {
1090             urlValue = webdeveloper_optionsDataString[url].trim();
1091         }
1092         else if(webdeveloper_isPreferenceSet(url))
1093         {
1094             urlValue = webdeveloper_getStringPreference(url, true);
1095         }
1096         else
1097         {
1098             urlValue = null;
1099         }
1100
1101         // If the separator is set
1102         if(separatorValue)
1103         {
1104             listItem  = pageDocument.createElement("listitem");
1105             separator = pageDocument.createElement("separator");
1106
1107             separator.setAttribute("class", "groove");
1108             listItem.appendChild(separator);
1109
1110             separator = pageDocument.createElement("separator");
1111             separator.setAttribute("class", "groove");
1112             listItem.appendChild(separator);
1113
1114             separator = pageDocument.createElement("separator");
1115             separator.setAttribute("class", "groove");
1116             listItem.appendChild(separator);
1117
1118             toolBox.appendChild(listItem);
1119         }
1120         else if(descriptionValue && (bookmarkletValue || pathValue || urlValue))
1121         {
1122             listItem = pageDocument.createElement("listitem");
1123
1124             listCell = pageDocument.createElement("listcell");
1125             listCell.setAttribute("label", descriptionValue);
1126
1127             // If the bookmarklet is set
1128             if(bookmarkletValue)
1129             {
1130                 listCell.setAttribute("type", bookmarkletType);
1131             }
1132             else if(pathValue)
1133             {
1134                 listCell.setAttribute("type", applicationType);
1135             }
1136             else
1137             {
1138                 listCell.setAttribute("type", urlType);
1139             }
1140
1141             listItem.appendChild(listCell);
1142
1143             listCell = pageDocument.createElement("listcell");
1144
1145             // If the bookmarklet is set
1146             if(bookmarkletValue)
1147             {
1148                 listCell.setAttribute("label", bookmarkletValue);
1149             }
1150             else if(pathValue)
1151             {
1152                 listCell.setAttribute("label", pathValue);
1153             }
1154             else
1155             {
1156                 listCell.setAttribute("label", urlValue);
1157             }
1158
1159             listCell.setAttribute("crop", "end");
1160             listItem.appendChild(listCell);
1161
1162             listCell = pageDocument.createElement("listcell");
1163
1164             // If the key is set
1165             if(keyValue)
1166             {
1167                 listCell.setAttribute("label", keyValue);
1168             }
1169
1170             listItem.appendChild(listCell);
1171             toolBox.appendChild(listItem);
1172         }
1173     }
1174
1175     webdeveloper_listBoxSelected();
1176 }
1177
1178 // Initializes the validation page
1179 function webdeveloper_initializeValidation()
1180 {
1181     var pageDocument                 = document.getElementById("webdeveloper-options-iframe").contentDocument;
1182     var validateLocalCSSProfile      = "css21";
1183     var validateLocalCSSProfileRadio = pageDocument.getElementById("webdeveloper-validate-local-css21-radio");
1184
1185     // If the Section 508 preference is set
1186     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.section508"] != "undefined")
1187     {
1188         pageDocument.getElementById("webdeveloper.validate.local.accessibility.section508").checked = webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.section508"];
1189     }
1190     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.accessibility.section508"))
1191     {
1192         pageDocument.getElementById("webdeveloper.validate.local.accessibility.section508").checked = webdeveloper_getBooleanPreference("webdeveloper.validate.local.accessibility.section508", true);
1193     }
1194
1195     // If the WAI priority 1 preference is set
1196     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority1"] != "undefined")
1197     {
1198         pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority1").checked = webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority1"];
1199     }
1200     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.accessibility.wai.priority1"))
1201     {
1202         pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority1").checked = webdeveloper_getBooleanPreference("webdeveloper.validate.local.accessibility.wai.priority1", true);
1203     }
1204
1205     // If the WAI priority 2 preference is set
1206     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority2"] != "undefined")
1207     {
1208         pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority2").checked = webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority2"];
1209     }
1210     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.accessibility.wai.priority2"))
1211     {
1212         pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority2").checked = webdeveloper_getBooleanPreference("webdeveloper.validate.local.accessibility.wai.priority2", true);
1213     }
1214
1215     // If the WAI priority 3 preference is set
1216     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority3"] != "undefined")
1217     {
1218         pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority3").checked = webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority3"];
1219     }
1220     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.accessibility.wai.priority3"))
1221     {
1222         pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority3").checked = webdeveloper_getBooleanPreference("webdeveloper.validate.local.accessibility.wai.priority3", true);
1223     }
1224
1225     // If the CSS profile preference is set
1226     if(typeof webdeveloper_optionsDataString["webdeveloper.validate.local.css.profile"] != "undefined")
1227     {
1228         validateLocalCSSProfile = webdeveloper_optionsDataString["webdeveloper.validate.local.css.profile"];
1229     }
1230     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.css.profile"))
1231     {
1232         validateLocalCSSProfile = webdeveloper_getStringPreference("webdeveloper.validate.local.css.profile", true);
1233     }
1234
1235     // If validate local CSS profile is set to CSS 3
1236     if(validateLocalCSSProfile == "css3")
1237     {
1238         validateLocalCSSProfileRadio = pageDocument.getElementById("webdeveloper-validate-local-css3-radio");
1239     }
1240
1241     validateLocalCSSProfileRadio.radioGroup.selectedItem = validateLocalCSSProfileRadio;
1242
1243     // If the show outline preference is set
1244     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.outline"] != "undefined")
1245     {
1246         pageDocument.getElementById("webdeveloper.validate.local.html.show.outline").checked = webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.outline"];
1247     }
1248     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.html.show.outline"))
1249     {
1250         pageDocument.getElementById("webdeveloper.validate.local.html.show.outline").checked = webdeveloper_getBooleanPreference("webdeveloper.validate.local.html.show.outline", true);
1251     }
1252
1253     // If the show parse tree preference is set
1254     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.parse.tree"] != "undefined")
1255     {
1256         pageDocument.getElementById("webdeveloper.validate.local.html.show.parse.tree").checked = webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.parse.tree"];
1257     }
1258     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.html.show.parse.tree"))
1259     {
1260         pageDocument.getElementById("webdeveloper.validate.local.html.show.parse.tree").checked = webdeveloper_getBooleanPreference("webdeveloper.validate.local.html.show.parse.tree", true);
1261     }
1262
1263     // If the show source preference is set
1264     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.source"] != "undefined")
1265     {
1266         pageDocument.getElementById("webdeveloper.validate.local.html.show.source").checked = webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.source"];
1267     }
1268     else if(webdeveloper_isPreferenceSet("webdeveloper.validate.local.html.show.source"))
1269     {
1270         pageDocument.getElementById("webdeveloper.validate.local.html.show.source").checked = webdeveloper_getBooleanPreference("webdeveloper.validate.local.html.show.source", true);
1271     }
1272 }
1273
1274 // Initializes the view source page
1275 function webdeveloper_initializeViewSource()
1276 {
1277     var description         = null;
1278     var descriptionValue    = null;
1279     var key                 = null;
1280     var keyValue            = null;
1281     var listCell            = null;
1282     var listItem            = null;
1283     var pageDocument        = document.getElementById("webdeveloper-options-iframe").contentDocument;
1284     var path                = null;
1285     var pathValue           = null;
1286     var viewSourceWithBox   = pageDocument.getElementById("webdeveloper-listbox");
1287     var viewSourceWithCount = 0;
1288
1289     // If the view source in tab preference is set
1290     if(typeof webdeveloper_optionsDataBoolean["webdeveloper.view.source.tab"] != "undefined")
1291     {
1292         pageDocument.getElementById("webdeveloper.view.source.tab").checked = webdeveloper_optionsDataBoolean["webdeveloper.view.source.tab"];
1293     }
1294     else if(webdeveloper_isPreferenceSet("webdeveloper.view.source.tab"))
1295     {
1296         pageDocument.getElementById("webdeveloper.view.source.tab").checked = webdeveloper_getBooleanPreference("webdeveloper.view.source.tab", true);
1297     }
1298     else
1299     {
1300         pageDocument.getElementById("webdeveloper.view.source.tab").checked = false;
1301     }
1302
1303     // If the view source with count preference is set
1304     if(typeof webdeveloper_optionsDataInteger["webdeveloper.view.source.with.count"] != "undefined")
1305     {
1306         viewSourceWithCount = webdeveloper_optionsDataInteger["webdeveloper.view.source.with.count"];
1307     }
1308     else if(webdeveloper_isPreferenceSet("webdeveloper.view.source.with.count"))
1309     {
1310         viewSourceWithCount = webdeveloper_getIntegerPreference("webdeveloper.view.source.with.count", true);
1311     }
1312
1313     // Loop through the possible view source with options
1314     for(var i = 1; i <= viewSourceWithCount; i++)
1315     {
1316             description = "webdeveloper.view.source.with." + i + ".description";
1317             key         = "webdeveloper.view.source.with." + i + ".key";
1318             path        = "webdeveloper.view.source.with." + i + ".path";
1319
1320         // If the description is set
1321         if(typeof webdeveloper_optionsDataString[description] != "undefined")
1322         {
1323             descriptionValue = webdeveloper_optionsDataString[description].trim();
1324         }
1325         else if(webdeveloper_isPreferenceSet(description))
1326         {
1327                 descriptionValue = webdeveloper_getStringPreference(description, true);
1328         }
1329         else
1330         {
1331             descriptionValue = null;
1332         }
1333
1334         // If the key is set
1335         if(typeof webdeveloper_optionsDataString[key] != "undefined")
1336         {
1337             keyValue = webdeveloper_optionsDataString[key].trim();
1338         }
1339         else if(webdeveloper_isPreferenceSet(key))
1340         {
1341             keyValue = webdeveloper_getStringPreference(key, true);
1342         }
1343         else
1344         {
1345             keyValue = null;
1346         }
1347
1348         // If the path is set
1349         if(typeof webdeveloper_optionsDataString[path] != "undefined")
1350         {
1351             pathValue = webdeveloper_optionsDataString[path].trim();
1352         }
1353         else if(webdeveloper_isPreferenceSet(path))
1354         {
1355             pathValue = webdeveloper_getStringPreference(path, true);
1356         }
1357         else
1358         {
1359             pathValue = null;
1360         }
1361
1362         // If the description and path are set
1363         if(descriptionValue && pathValue)
1364         {
1365             listItem = pageDocument.createElement("listitem");
1366             listCell = pageDocument.createElement("listcell");
1367
1368             listCell.setAttribute("label", descriptionValue);
1369             listItem.appendChild(listCell);
1370
1371             listCell = pageDocument.createElement("listcell");
1372             listCell.setAttribute("label", pathValue);
1373             listCell.setAttribute("crop", "end");
1374             listItem.appendChild(listCell);
1375
1376             listCell = pageDocument.createElement("listcell");
1377
1378             // If the key is set
1379             if(keyValue)
1380             {
1381                 listCell.setAttribute("label", keyValue);
1382             }
1383
1384             listItem.appendChild(listCell);
1385             viewSourceWithBox.appendChild(listItem);
1386        }
1387     }
1388
1389     webdeveloper_listBoxSelected();
1390 }
1391
1392 // Called whenever a list box is selected
1393 function webdeveloper_listBoxSelected()
1394 {
1395     var pageDocument   = document.getElementById("webdeveloper-options-iframe").contentDocument;
1396     var deleteButton   = pageDocument.getElementById("webdeveloper-delete");
1397     var editButton     = pageDocument.getElementById("webdeveloper-edit");
1398     var listBox        = pageDocument.getElementById("webdeveloper-listbox");
1399     var moveDownButton = pageDocument.getElementById("webdeveloper-move-down");
1400     var moveUpButton   = pageDocument.getElementById("webdeveloper-move-up");
1401     var selectedIndex  = listBox.selectedIndex;
1402
1403     // If an item is selected
1404     if(listBox.selectedItem)
1405     {
1406         deleteButton.disabled   = false;
1407         editButton.disabled     = false;
1408
1409         // If this is the first item
1410         if(selectedIndex == 0)
1411         {
1412             moveUpButton.disabled = true;
1413         }
1414         else
1415         {
1416             moveUpButton.disabled = false;
1417         }
1418
1419         // If this is the last item
1420         if(selectedIndex == listBox.getRowCount() - 1)
1421         {
1422             moveDownButton.disabled = true;
1423         }
1424         else
1425         {
1426             moveDownButton.disabled = false;
1427         }
1428     }
1429     else
1430     {
1431         deleteButton.disabled   = true;
1432         editButton.disabled     = true;
1433         moveDownButton.disabled = true;
1434         moveUpButton.disabled   = true;
1435     }
1436 }
1437
1438 // Moves the selected item down
1439 function webdeveloper_moveDown()
1440 {
1441     var pageDocument  = document.getElementById("webdeveloper-options-iframe").contentDocument;
1442     var resizeBox     = pageDocument.getElementById("webdeveloper-listbox");
1443     var selectedItem  = resizeBox.selectedItem;
1444
1445     // If an item is selected and it is not at the bottom
1446     if(selectedItem && resizeBox.selectedIndex != resizeBox.getRowCount() - 1)
1447     {
1448         resizeBox.selectItem(resizeBox.insertBefore(selectedItem, resizeBox.getNextItem(selectedItem, 2)));
1449     }
1450 }
1451
1452 // Moves the selected item up
1453 function webdeveloper_moveUp()
1454 {
1455     var pageDocument  = document.getElementById("webdeveloper-options-iframe").contentDocument;
1456     var resizeBox     = pageDocument.getElementById("webdeveloper-listbox");
1457     var selectedItem  = resizeBox.selectedItem;
1458
1459     // If an item is selected and it is not at the top
1460     if(selectedItem && resizeBox.selectedIndex != 0)
1461     {
1462         resizeBox.selectItem(resizeBox.insertBefore(selectedItem, resizeBox.getPreviousItem(selectedItem, 1)));
1463     }
1464 }
1465
1466 // Adds a new separator
1467 function webdeveloper_newSeparator()
1468 {
1469     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
1470     var listItem     = pageDocument.createElement("listitem");
1471     var separator    = pageDocument.createElement("separator");
1472     var toolBox      = pageDocument.getElementById("webdeveloper-listbox");
1473
1474     separator.setAttribute("class", "groove");
1475     listItem.appendChild(separator);
1476
1477     separator = pageDocument.createElement("separator");
1478     separator.setAttribute("class", "groove");
1479     listItem.appendChild(separator);
1480
1481     separator = pageDocument.createElement("separator");
1482     separator.setAttribute("class", "groove");
1483     listItem.appendChild(separator);
1484
1485     toolBox.selectItem(toolBox.appendChild(listItem));
1486     toolBox.ensureElementIsVisible(toolBox.selectedItem);
1487 }
1488
1489 // Resets the user's options
1490 function webdeveloper_resetOptions()
1491 {
1492     var promptServiceInterface = Components.interfaces.nsIPromptService;
1493     var stringBundle           = document.getElementById("webdeveloper-string-bundle");
1494
1495     // If the reset is confirmed
1496     if(Components.classes["@mozilla.org/embedcomp/prompt-service;1"].getService(promptServiceInterface).confirmEx(null, stringBundle.getString("webdeveloper_resetConfirmation"), stringBundle.getString("webdeveloper_resetConfirmationMessage"), promptServiceInterface.BUTTON_TITLE_YES * promptServiceInterface.BUTTON_POS_0 + promptServiceInterface.BUTTON_TITLE_CANCEL * promptServiceInterface.BUTTON_POS_1, stringBundle.getString("webdeveloper_reset"), null, null, null, {}) == 0)
1497     {
1498         webdeveloper_optionsDataBoolean = new Array();
1499         webdeveloper_optionsDataInteger = new Array();
1500         webdeveloper_optionsDataString  = new Array();
1501
1502         webdeveloper_deletePreferenceBranch("webdeveloper.");
1503         webdeveloper_setStringPreference("webdeveloper.version", webdeveloper_parseVersion("1.1.4"));
1504
1505         webdeveloper_configureKeyboardShortcuts(true);
1506         webdeveloper_setupDefaultOptions();
1507         webdeveloper_setupLocalizedOptions();
1508         webdeveloper_initializeOptions(false);
1509     }
1510 }
1511
1512 // Saves the user's options
1513 function webdeveloper_saveOptions()
1514 {
1515     var parentWindow = null;
1516     var option       = null;
1517     var optionValue  = null;
1518
1519     // Make sure current page is stored
1520     webdeveloper_storeOptions();
1521
1522     // Loop through the boolean options
1523     for(option in webdeveloper_optionsDataBoolean)
1524     {
1525         webdeveloper_setBooleanPreference(option, webdeveloper_optionsDataBoolean[option]);
1526     }
1527
1528     // Loop through the integer options
1529     for(option in webdeveloper_optionsDataInteger)
1530     {
1531         optionValue = webdeveloper_optionsDataInteger[option];
1532
1533         // If the option value is set
1534         if(optionValue)
1535         {
1536             webdeveloper_setIntegerPreference(option, optionValue);
1537         }
1538         else if(webdeveloper_isPreferenceSet(option))
1539         {
1540             webdeveloper_deletePreference(option);
1541         }
1542     }
1543
1544     // Loop through the string options
1545     for(option in webdeveloper_optionsDataString)
1546     {
1547         optionValue = webdeveloper_optionsDataString[option];
1548
1549         // If the option value is set or the preference currently has a value
1550         if(optionValue || webdeveloper_isPreferenceSet(option))
1551         {
1552             webdeveloper_setStringPreference(option, optionValue);
1553         }
1554     }
1555
1556     webdeveloper_changeOptions();
1557     webdeveloper_configureKeyboardShortcuts(false);
1558 }
1559
1560 // Stores the user's options to be saved later
1561 function webdeveloper_storeOptions()
1562 {
1563     var childNodes   = null;
1564     var description  = null;
1565     var i            = 0;
1566     var iFrame       = document.getElementById("webdeveloper-options-iframe");
1567     var iFrameSrc    = iFrame.getAttribute("src");
1568     var key          = null;
1569     var listCell     = null;
1570     var listItem     = null;
1571     var pageDocument = iFrame.contentDocument;
1572     var path         = null;
1573     var stringBundle = document.getElementById("webdeveloper-string-bundle");
1574
1575     // If this is the colors page
1576     if(iFrameSrc.indexOf("colors_fonts") != -1)
1577     {
1578         webdeveloper_optionsDataInteger["webdeveloper.generated.content.font.size"]     = pageDocument.getElementById("webdeveloper.generated.content.font.size").value;
1579         webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.background"] = pageDocument.getElementById("webdeveloper.feature.tooltip.color.background").color;
1580         webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.border"]     = pageDocument.getElementById("webdeveloper.feature.tooltip.color.border").color;
1581         webdeveloper_optionsDataString["webdeveloper.feature.tooltip.color.text"]       = pageDocument.getElementById("webdeveloper.feature.tooltip.color.text").color;
1582         webdeveloper_optionsDataString["webdeveloper.feature.tooltip.opacity"]          = pageDocument.getElementById("webdeveloper.feature.tooltip.opacity").value;
1583     }
1584     else if(iFrameSrc.indexOf("dashboard") != -1)
1585     {
1586         var updateFrequency = pageDocument.getElementById("webdeveloper.edit.update.frequency").value;
1587
1588         webdeveloper_optionsDataBoolean["webdeveloper.dom.inspector.dashboard"]     = pageDocument.getElementById("webdeveloper.dom.inspector.dashboard").checked;
1589         webdeveloper_optionsDataBoolean["webdeveloper.edit.wrap"]                   = pageDocument.getElementById("webdeveloper.edit.wrap").checked;
1590         webdeveloper_optionsDataBoolean["webdeveloper.error.console.dashboard"]     = pageDocument.getElementById("webdeveloper.error.console.dashboard").checked;
1591         webdeveloper_optionsDataBoolean["webdeveloper.style.information.dashboard"] = pageDocument.getElementById("webdeveloper.style.information.dashboard").checked;
1592         webdeveloper_optionsDataInteger["webdeveloper.edit.font.size"]              = pageDocument.getElementById("webdeveloper.edit.font.size").value;
1593         webdeveloper_optionsDataString["webdeveloper.edit.color.background"]        = pageDocument.getElementById("webdeveloper.edit.color.background").color;
1594         webdeveloper_optionsDataString["webdeveloper.edit.color.text"]              = pageDocument.getElementById("webdeveloper.edit.color.text").color;
1595
1596         // If the update frequency is set and is a valid integer and is positive
1597         if(updateFrequency && parseInt(updateFrequency) == updateFrequency && updateFrequency >= 0)
1598         {
1599             webdeveloper_optionsDataInteger["webdeveloper.edit.update.frequency"] = updateFrequency;
1600         }
1601         else
1602         {
1603             webdeveloper_optionsDataInteger["webdeveloper.edit.update.frequency"] = 0;
1604         }
1605     }
1606     else if(iFrameSrc.indexOf("general") != -1)
1607     {
1608         webdeveloper_optionsDataBoolean["webdeveloper.context.hide"]               = pageDocument.getElementById("webdeveloper.context.hide").checked;
1609         webdeveloper_optionsDataBoolean["webdeveloper.confirmation.dialogs.hide"]  = pageDocument.getElementById("webdeveloper.confirmation.dialogs.hide").checked;
1610         webdeveloper_optionsDataBoolean["webdeveloper.informational.dialogs.hide"] = pageDocument.getElementById("webdeveloper.informational.dialogs.hide").checked;
1611         webdeveloper_optionsDataBoolean["webdeveloper.menu.hide"]                  = pageDocument.getElementById("webdeveloper.menu.hide").checked;
1612         webdeveloper_optionsDataBoolean["webdeveloper.open.tabs"]                  = pageDocument.getElementById("webdeveloper.open.tabs").checked;
1613         webdeveloper_optionsDataBoolean["webdeveloper.open.tabs.background"]       = pageDocument.getElementById("webdeveloper.open.tabs.background").checked;
1614         webdeveloper_optionsDataString["webdeveloper.toolbar.icons"]               = pageDocument.getElementById("webdeveloper.toolbar.icons").value;
1615     }
1616     else if(iFrameSrc.indexOf("keys") != -1)
1617     {
1618         var textBox         = null;
1619         var textBoxes       = pageDocument.getElementById("webdeveloper-key-rows").getElementsByTagName("textbox");
1620         var textBoxesLength = textBoxes.length;
1621
1622         // Loop through the text boxes
1623         for(i = 0; i < textBoxesLength; i++)
1624         {
1625             textBox = textBoxes.item(i);
1626
1627             webdeveloper_optionsDataString[textBox.getAttribute("id")] = textBox.value.trim();
1628         }
1629     }
1630     else if(iFrameSrc.indexOf("miscellaneous") != -1)
1631     {
1632         webdeveloper_optionsDataBoolean["webdeveloper.information.tidy"]                = pageDocument.getElementById("webdeveloper.information.tidy").checked;
1633         webdeveloper_optionsDataBoolean["webdeveloper.open.css.console.error"]          = pageDocument.getElementById("webdeveloper.open.css.console.error").checked;
1634         webdeveloper_optionsDataBoolean["webdeveloper.open.javascript.console.warning"] = pageDocument.getElementById("webdeveloper.open.javascript.console.warning").checked;
1635         webdeveloper_optionsDataBoolean["webdeveloper.open.javascript.console.error"]   = pageDocument.getElementById("webdeveloper.open.javascript.console.error").checked;
1636         webdeveloper_optionsDataString["webdeveloper.populate.form.fields.email"]       = pageDocument.getElementById("webdeveloper.populate.form.fields.email").value;
1637     }
1638     else if(iFrameSrc.indexOf("resize") != -1)
1639     {
1640         var height        = null;
1641         var resizeBox     = pageDocument.getElementById("webdeveloper-listbox");
1642         var resizeCount   = webdeveloper_getIntegerPreference("webdeveloper.resize.count", true);
1643         var viewport      = null;
1644         var viewportValue = false;
1645         var width         = null;
1646         var yes           = stringBundle.getString("webdeveloper_yes");
1647
1648         // Loop through the previous resize options
1649         for(i = 1; i <= resizeCount; i++)
1650         {
1651             description = "webdeveloper.resize." + i + ".description";
1652             height      = "webdeveloper.resize." + i + ".height";
1653             width       = "webdeveloper.resize." + i + ".width";
1654
1655             webdeveloper_optionsDataInteger[height]     = "";
1656             webdeveloper_optionsDataInteger[width]      = "";
1657             webdeveloper_optionsDataString[description] = "";
1658         }
1659
1660         resizeCount = resizeBox.getRowCount();
1661
1662         // Loop through the possible resize options
1663         for(i = 1; i <= resizeCount; i++)
1664         {
1665             description   = "webdeveloper.resize." + i + ".description";
1666             height        = "webdeveloper.resize." + i + ".height";
1667             listItem      = resizeBox.getItemAtIndex(i - 1);
1668             childNodes    = listItem.childNodes;
1669             viewport      = "webdeveloper.resize." + i + ".viewport";
1670             viewportValue = false;
1671             width         = "webdeveloper.resize." + i + ".width";
1672
1673             // If the viewport label is set to yes
1674             if(listItem.childNodes[3].getAttribute("label") == yes)
1675             {
1676                 viewportValue = true;
1677             }
1678
1679             webdeveloper_optionsDataBoolean[viewport]   = viewportValue;
1680             webdeveloper_optionsDataInteger[width]      = listItem.childNodes[1].getAttribute("label");
1681             webdeveloper_optionsDataInteger[height]     = listItem.childNodes[2].getAttribute("label");
1682             webdeveloper_optionsDataString[description] = listItem.childNodes[0].getAttribute("label").trim();
1683         }
1684
1685         webdeveloper_optionsDataInteger["webdeveloper.resize.count"] = resizeCount;
1686     }
1687     else if(iFrameSrc.indexOf("tools") != -1)
1688     {
1689         var applicationType   = stringBundle.getString("webdeveloper_application");
1690         var bookmarklet       = null;
1691         var bookmarkletType   = stringBundle.getString("webdeveloper_bookmarklet");
1692         var separator         = null;
1693         var toolBox           = pageDocument.getElementById("webdeveloper-listbox");
1694         var toolCount         = toolBox.getRowCount();
1695         var toolPreviousCount = webdeveloper_getIntegerPreference("webdeveloper.tool.count", true);
1696         var url               = null;
1697
1698         // Loop through the previous tools
1699         for(i = 1; i <= toolCount || i <= toolPreviousCount; i++)
1700         {
1701             bookmarklet = "webdeveloper.tool." + i + ".bookmarklet";
1702             description = "webdeveloper.tool." + i + ".description";
1703             key         = "webdeveloper.tool." + i + ".key";
1704             path        = "webdeveloper.tool." + i + ".path";
1705             separator   = "webdeveloper.tool." + i + ".separator";
1706             url         = "webdeveloper.tool." + i + ".url";
1707
1708             webdeveloper_optionsDataBoolean[separator]  = false;
1709             webdeveloper_optionsDataString[bookmarklet] = "";
1710             webdeveloper_optionsDataString[description] = "";
1711             webdeveloper_optionsDataString[key]         = "";
1712             webdeveloper_optionsDataString[path]        = "";
1713             webdeveloper_optionsDataString[url]         = "";
1714         }
1715
1716         // Loop through the possible tools
1717         for(i = 1; i <= toolCount; i++)
1718         {
1719             bookmarklet = "webdeveloper.tool." + i + ".bookmarklet";
1720             description = "webdeveloper.tool." + i + ".description";
1721             listItem    = toolBox.getItemAtIndex(i - 1);
1722             childNodes  = listItem.childNodes;
1723             listCell    = listItem.childNodes[0];
1724             key         = "webdeveloper.tool." + i + ".key";
1725             path        = "webdeveloper.tool." + i + ".path";
1726             separator   = "webdeveloper.tool." + i + ".separator";
1727             url         = "webdeveloper.tool." + i + ".url";
1728
1729             // If the first cell is a separator
1730             if(listCell.tagName == "separator")
1731             {
1732                 webdeveloper_optionsDataBoolean[separator] = true;
1733             }
1734             else
1735             {
1736                 webdeveloper_optionsDataString[description] = listCell.getAttribute("label").trim();
1737                 webdeveloper_optionsDataString[key]         = listItem.childNodes[2].getAttribute("label").trim();
1738
1739                 // If the tool type equals application
1740                 if(listCell.getAttribute("type") == applicationType)
1741                 {
1742                     webdeveloper_optionsDataString[path] = listItem.childNodes[1].getAttribute("label").trim();
1743                 }
1744                 else if(listCell.getAttribute("type") == bookmarkletType)
1745                 {
1746                     webdeveloper_optionsDataString[bookmarklet] = listItem.childNodes[1].getAttribute("label").trim();
1747                 }
1748                 else
1749                 {
1750                     webdeveloper_optionsDataString[url] = listItem.childNodes[1].getAttribute("label").trim();
1751                 }
1752             }
1753         }
1754
1755         webdeveloper_optionsDataInteger["webdeveloper.tool.count"] = toolCount;
1756     }
1757     else if(iFrameSrc.indexOf("validation") != -1)
1758     {
1759         var validateLocalCSSProfile = "css21";
1760
1761         // If the validate local CSS 3 radio button is selected
1762         if(pageDocument.getElementById("webdeveloper-validate-local-css3-radio").selected)
1763         {
1764             validateLocalCSSProfile = "css3";
1765         }
1766
1767         webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.section508"]    = pageDocument.getElementById("webdeveloper.validate.local.accessibility.section508").checked;
1768         webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority1"] = pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority1").checked;
1769         webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority2"] = pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority2").checked;
1770         webdeveloper_optionsDataBoolean["webdeveloper.validate.local.accessibility.wai.priority3"] = pageDocument.getElementById("webdeveloper.validate.local.accessibility.wai.priority3").checked;
1771         webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.outline"]           = pageDocument.getElementById("webdeveloper.validate.local.html.show.outline").checked;
1772         webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.parse.tree"]        = pageDocument.getElementById("webdeveloper.validate.local.html.show.parse.tree").checked;
1773         webdeveloper_optionsDataBoolean["webdeveloper.validate.local.html.show.source"]            = pageDocument.getElementById("webdeveloper.validate.local.html.show.source").checked;
1774         webdeveloper_optionsDataString["webdeveloper.validate.local.css.profile"]                  = validateLocalCSSProfile;
1775     }
1776     else if(iFrameSrc.indexOf("view_source") != -1)
1777     {
1778         var viewSourceWithBox           = pageDocument.getElementById("webdeveloper-listbox");
1779         var viewSourceWithCount         = viewSourceWithBox.getRowCount();
1780         var viewSourceWithPreviousCount = webdeveloper_getIntegerPreference("webdeveloper.view.source.with.count", true);
1781
1782         // Loop through the previous view source with options
1783         for(i = 1; i <= viewSourceWithCount || i <= viewSourceWithPreviousCount; i++)
1784         {
1785             description = "webdeveloper.view.source.with." + i + ".description";
1786             key         = "webdeveloper.view.source.with." + i + ".key";
1787             path        = "webdeveloper.view.source.with." + i + ".path";
1788
1789             webdeveloper_optionsDataString[description] = "";
1790             webdeveloper_optionsDataString[key]         = "";
1791             webdeveloper_optionsDataString[path]        = "";
1792         }
1793
1794         // Loop through the possible view source with options
1795         for(i = 1; i <= viewSourceWithCount; i++)
1796         {
1797             description = "webdeveloper.view.source.with." + i + ".description";
1798             listItem    = viewSourceWithBox.getItemAtIndex(i - 1);
1799             childNodes  = listItem.childNodes;
1800             key         = "webdeveloper.view.source.with." + i + ".key";
1801             path        = "webdeveloper.view.source.with." + i + ".path";
1802
1803             webdeveloper_optionsDataString[description] = listItem.childNodes[0].getAttribute("label").trim();
1804             webdeveloper_optionsDataString[key]         = listItem.childNodes[2].getAttribute("label").trim();
1805             webdeveloper_optionsDataString[path]        = listItem.childNodes[1].getAttribute("label").trim();
1806         }
1807
1808         webdeveloper_optionsDataBoolean["webdeveloper.view.source.tab"]        = pageDocument.getElementById("webdeveloper.view.source.tab").checked;
1809         webdeveloper_optionsDataInteger["webdeveloper.view.source.with.count"] = viewSourceWithCount;
1810     }
1811 }
1812
1813 // Returns the index of the given page name
1814 function webdeveloper_translatePageNameToIndex(pageName)
1815 {
1816     // If the page name is set
1817     if(pageName)
1818     {
1819         // Switch on the page name
1820         switch(pageName)
1821         {
1822             case "general":
1823                 return 0;
1824             case "colors-fonts":
1825                 return 1;
1826             case "dashboard":
1827                 return 2;
1828             case "keys":
1829                 return 3;
1830             case "miscellaneous":
1831                 return 4;
1832             case "resize":
1833                 return 5;
1834             case "tools":
1835                 return 6;
1836             case "validation":
1837                 return 7;
1838             case "view-source":
1839                 return 8;
1840             default:
1841                 return 0;
1842         }
1843     }
1844
1845     return 0;
1846 }
1847
1848 // Updates the tab option status
1849 function webdeveloper_updateTabOptionStatus()
1850 {
1851     var disabled     = true;
1852     var pageDocument = document.getElementById("webdeveloper-options-iframe").contentDocument;
1853
1854     // If open tabs is checked
1855     if(pageDocument.getElementById("webdeveloper.open.tabs").checked)
1856     {
1857         disabled = false;
1858     }
1859
1860     pageDocument.getElementById("webdeveloper.open.tabs.background").disabled = disabled;
1861 }