rem: }; 
add: } 
context: qx.Proto.calculateHeaderHeight = function() {  // TODO: The following code works with qx.ui.basic.Label, but it fails with qx.ui.basic.Atom....  return 16;  this._updateContent();  var maxHeight = 0;  var children = this.getChildren();  for (var i = 0; i < children.length; i++) {    var height = children[i].getPreferredBoxHeight();    maxHeight = Math.max(height, maxHeight);  }  return maxHeight;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/TablePaneHeader.js/clean/qooxdoo/source/script/qx/ui/table/TablePaneHeader.js