Changeset 948e7f


Ignore:
Timestamp:
Sep 1, 2008, 10:13:11 PM (13 years ago)
Author:
rene <rene@…>
Branches:
master
Children:
c95645
Parents:
395a1c
Message:

added option to show error console in 3pane window. hidden by default, activate with preferences editor.

Files:
4 edited

Legend:

Unmodified
Added
Removed
  • chrome/content/v_identity/vI_upgradeOverlay.js

    r395a1c r948e7f  
    3838            vI_rdfDatasource.storeExtVersion();
    3939        }
     40        // show error-Console if required
     41        var prefroot = Components.classes["@mozilla.org/preferences-service;1"]
     42            .getService(Components.interfaces.nsIPrefService)
     43            .getBranch(null);
     44        if (prefroot.getBoolPref("extensions.virtualIdentity.error_console")) {
     45            document.getElementById("vIErrorBoxSplitter").removeAttribute("hidden");
     46            document.getElementById("vIErrorBox").removeAttribute("hidden");
     47            document.getElementById("vIErrorBox").setAttribute("class", "console-box");
     48            prefroot.setBoolPref("javascript.options.showInConsole", true);
     49            prefroot.setBoolPref("browser.dom.window.dump.enabled", true);
     50            prefroot.setBoolPref("javascript.options.strict", true);
     51        }
    4052    }
    4153}
  • chrome/content/v_identity/vI_upgradeOverlay.xul

    r395a1c r948e7f  
    2525   
    2626<?xml-stylesheet href="chrome://v_identity/skin/v_identity.css" type="text/css"?>
     27<?xml-stylesheet href="chrome://global/content/console.css" type="text/css"?>
     28<?xml-stylesheet href="chrome://global/skin/console/console.css" type="text/css"?>
     29
    2730<!DOCTYPE overlay [
    2831<!ENTITY % versionDTD SYSTEM "chrome://v_identity/content/_version.dtd">
     
    4548    <script type="application/x-javascript" src="chrome://v_identity/content/vI_htmlTextBox.js" />
    4649
    47     <!-- following element just stores the Ext-Version, seamonkey has no extensionmanager -->
    4850    <vbox id="messagepanebox" >
     51        <!-- following element just stores the Ext-Version, seamonkey has no extensionmanager -->
    4952        <label id="extVersion" value="&vident.version;" hidden="true" />
     53        <splitter id="vIErrorBoxSplitter" hidden="true" />
     54        <vbox id="vIErrorBox" context="ConsoleContext" sortOrder="reverse" hidden="true" />
     55
    5056    </vbox>
    5157</overlay>
  • chrome/skin/classic/v_identity/v_identity.css

    r395a1c r948e7f  
    103103}
    104104
    105 #vIDebugBox {
     105#vIDebugBox, #vIErrorBox{
    106106    overflow: auto;
    107107    font-size: x-small;
  • defaults/preferences/preferences.js

    r395a1c r948e7f  
    2121pref("extensions.virtualIdentity.autoTimestamp", false);
    2222pref("extensions.virtualIdentity.get_header_notification", true);
     23pref("extensions.virtualIdentity.error_console", false);
    2324pref("extensions.virtualIdentity.debug_notification", false);
    2425pref("extensions.virtualIdentity.notification_timeout", 5);
Note: See TracChangeset for help on using the changeset viewer.