// ----------------------------------------------------------------------------
// the event handlers executed when the window must be repainted
// ----------------------------------------------------------------------------
// the event handlers executed when the window must be repainted
{
// This code assumes that wxSizeEvent.GetSize() returns
// the area of the entire window, not just the client
{
// This code assumes that wxSizeEvent.GetSize() returns
// the area of the entire window, not just the client