commit df2645c10436c4719db45b37527de3b76a5dec0b
author jlabanca@google.com <jlabanca@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Oct 13 12:03:29 2010 +0000
committer jlabanca@google.com <jlabanca@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Oct 13 12:03:29 2010 +0000
tree a903d92609f2839d5570b3628e8f129e24a7c3d7
parent 2bd9710bad0389fc08d7aff0372b82348dec2b5a

Fixing a bug where headers are not redrawn when the data changes.  I was trying to be crafty and keep track of when headers are stale, but since they can depend on the data, we need to refesh them every time. This patch also allows headers to span multiple columns if adjacent headers == each other.

Review at http://gwt-code-reviews.appspot.com/971801

Review by: rice@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9042 8db76d5a-ed1c-0410-87a9-c151d255dfc7