Use wxClientDC in header window so we don't clip (because of gtk_paint_box not

being clippable). This cures the header refresh problem.


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@9078 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Julian Smart
2001-01-11 18:22:32 +00:00
parent 6c49baf214
commit 10bd072488

View File

@@ -1249,7 +1249,12 @@ void wxListHeaderWindow::AdjustDC(wxDC& dc)
void wxListHeaderWindow::OnPaint( wxPaintEvent &WXUNUSED(event) )
{
#ifdef __WXGTK__
wxClientDC dc( this );
#else
wxPaintDC dc( this );
#endif
PrepareDC( dc );
AdjustDC( dc );