rem: }; 
add: } 
context: qx.Proto.setColumnWidth = function(col, width) {  var x = this.getTablePaneModel().getX(col);  var children = this.getChildren();  if (children[x] != null) {    children[x].setWidth(width);  }};
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