rem: if ((vItem instanceof qx.ui.tree.TreeFolder || vItem instanceof qx.ui.treefullcontrol.TreeFolder) && 
add: if (vItem instanceof qx.ui.treefullcontrol.TreeFolder && 
context: qx.Proto.getItemHeight = function(vItem){  if ((vItem instanceof qx.ui.tree.TreeFolder ||       vItem instanceof qx.ui.treefullcontrol.TreeFolder) &&      vItem._horizontalLayout)  {    return vItem._horizontalLayout.getOffsetHeight();  }  else  {    return vItem.getOffsetHeight();  };};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/4840e37b07e6f402b674d6680303fa7b2f5393c1/TreeFullControlSelectionManager.js/buggy/qooxdoo/source/script/qx/manager/selection/TreeFullControlSelectionManager.js