No more pixel junk when resizing windows that

use the wxNO_FULL_REPAINT_ON_RESIZE flag
    and which have a border.


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@14695 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Robert Roebling
2002-03-20 21:36:36 +00:00
parent ccf691a4ea
commit aae736694e
3 changed files with 62 additions and 9 deletions

View File

@@ -265,6 +265,9 @@ protected:
wxBitmap m_bitmapBg;
int m_alignBgBitmap;
wxStretch m_stretchBgBitmap;
// old size
wxSize m_oldSize;
// is the mouse currently inside the window?
bool m_isCurrent:1;