This is just some static backup of the original site, don't expect every link to work!

Ignore:
Timestamp:
Aug 25, 2011, 7:27:06 PM (11 years ago)
Author:
rene <rene@…>
Branches:
ng_0.8, ng_0.9
Children:
6a3ad9
Parents:
3e958f
Message:

small bugfixes

File:
1 edited

Legend:

Unmodified
Added
Removed

  • chrome/content/v_identity/v_identity.xml

    r3e958f r0f72bb  
    5757    <method name="removeTooltip">
    5858    <parameter name="randID" />
    59             <body><![CDATA[
    60         if (randID) this.removeChild(document.getElementById(randID))
     59        <body><![CDATA[
     60        if (randID) {
     61            var randIDelem = document.getElementById(randID);
     62            if (randIDelem) this.removeChild(randIDelem);
     63        }
    6164        ]]></body>
    6265    </method>
Note: See TracChangeset for help on using the changeset viewer.