// ----------------------------------------------------------------------------
// the event handlers executed when the window must be repainted
// ----------------------------------------------------------------------------
// the event handlers executed when the window must be repainted