rem: cell.setAttribute("style", "font-weight: bold"); cell.setAttribute("crop", "never"); 
context: function AddModule(module, slots){  var tree = document.getElementById("device_list");  var item  = document.createElement("treeitem");  var row  = document.createElement("treerow");  var cell = document.createElement("treecell");  cell.setAttribute("class", "propertylist");  cell.setAttribute("label", module);  cell.setAttribute("style", "font-weight: bold");  cell.setAttribute("crop", "never");  row.appendChild(cell);  item.appendChild(row);  var parent = document.createElement("treechildren");  for (var i = 0; i<slots.length; i++) {    var child_item = document.createElement("treeitem");    var child_row = document.createElement("treerow");    var child_cell = document.createElement("treecell");    child_cell.setAttribute("label", slots[i]);    child_cell.setAttribute("class", "treecell-indent");    child_row.appendChild(child_cell);    child_item.appendChild(child_row);    child_item.setAttribute("pk11kind", "slot");    parent.appendChild(child_item);  }  item.appendChild(parent);  item.setAttribute("pk11kind", "module");  item.setAttribute("open", "true");  item.setAttribute("container", "true");  tree.appendChild(item);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d38a0937d9c93a0a9d913e2ac781e4328bb8cc73/device_manager.js/buggy/security/manager/pki/resources/content/device_manager.js