Ignore:
Timestamp:
Oct 16, 2009, 11:46:50 PM (12 years ago)
Author:
rene <rene@…>
Branches:
multiEdit, ng_0.6, ng_0.6_help, ng_0.8, ng_0.9
Children:
ab880d
Parents:
ef65ae
Message:

test of html help

File:
1 edited

Legend:

Unmodified
Added
Removed
  • chrome/content/v_identity/vI_htmlTextBox.xml

    ref65ae r90d3d0  
    3232    <constructor>
    3333        <![CDATA[       
    34 <!--        vI_notificationBar.dump('******* vI_htmlTextBox.xml constructor\n'); -->
     34        dump('******* vI_htmlTextBox.xml constructor\n');
    3535        ]]>
    3636    </constructor>
     
    6060        <setter><![CDATA[
    6161        if (!val) return;
     62        dump("cssSource set to " + val + "\n");
    6263        var head = this.contentDocument.getElementsByTagName("HEAD").item(0);
    6364        var range = document.createRange();
    6465        range.selectNode(head);
    6566        var css_text = this._getContents("chrome://v_identity/skin/" + val);
     67        dump("cssSource set to " + val + " cont.\n");
    6668        var documentFragment = range.createContextualFragment("<style type='text/css'>" + css_text + "</style>");
    6769        head.appendChild(documentFragment);
     70        dump("cssSource set to " + val + " done\n");
    6871        this._cssRead = true;
     72        ]]></setter>
     73    </property>
     74    <property name="htmlSource" >
     75        <setter><![CDATA[
     76        if (!val) return;
     77        dump("htmlSource set to " + val + "\n");
     78        var body = this.contentDocument.getElementsByTagName("BODY").item(0);
     79       
     80        var range = document.createRange();
     81        range.selectNode(body);
     82        var html_text = this._getContents("chrome://v_identity/content/doc/" + val);
     83        dump("htmlSource set to " + val + " cont.\n");
     84        var documentFragment = range.createContextualFragment(html_text);
     85        body.appendChild(documentFragment);
     86        for (var i = 0; i < body.children.length; i++)
     87            if (!body.children[i].id || body.children[i].id != "main") body.removeChild(body.children[i--]);
     88        dump("htmlSource set to " + val + " done\n");
    6989        ]]></setter>
    7090    </property>
Note: See TracChangeset for help on using the changeset viewer.