context: Skins.prototype.getCustomSkins = function() {   var coll = [];   // object to store the already added skin keys   // used to avoid duplicate skins in the list   var keys = {};   // private method to add a custom skin   var addSkins = function(mgr) {      var size = mgr.custom.size();      for (var i=0;i<size;i++) {         var s = mgr.custom.get(i);         var key = s.proto + ":" + s.name;         if (!keys[key]) {            keys[key] = s;            coll.push(s);         }      }   }   var handler = this._parent;   while (handler) {      addSkins(handler.skins);      handler = handler.parent;   }   return coll;};
meta: 993	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/993/a63f1725b33f0e4c3d3257a6bd38df96a5406745/Skins.js/clean/code/Skins/Skins.js