wxDataViewCtrl: always update the header when col best width changes.
authorVáclav Slavík <vslavik@fastmail.fm>
Mon, 30 Apr 2012 09:33:30 +0000 (09:33 +0000)
committerVáclav Slavík <vslavik@fastmail.fm>
Mon, 30 Apr 2012 09:33:30 +0000 (09:33 +0000)
commit840fc4d170537fc613609571f1b47bd1bdc7700b
tree3418ec4c22629bd22281d5007d2638761344bbb6
parentb6b171522b1aa2241447e187e422c892ded76053
wxDataViewCtrl: always update the header when col best width changes.

Have an explicit per-column dirty flag and use that to determine whether
we need to call wxHeaderCtrl::UpdateColumn(). Previously, the lack of
computed best width was used as an indicator, but this didn't work
correctly if some code called GetWidth() after invalidation but before
wxDataViewCtrl::UpdateColWidths() was called at idle time. This resulted
in header's column widths getting out of sync with the control itself.

Fixes #14167.

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@71335 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
include/wx/generic/dataview.h
src/generic/datavgen.cpp