[Double refresh of containers]

Hello,

I found a workaround for the double redraw issue and thought I would share.
I'm working on an STM32L4 MCU running FreeRTOS.
My workaround basically consist in modifying the guiShowPage function this way:

void guiShowPage(unsigned pageIndex)
{
	// Hide all pages
	gwinHide( page1 );
	gwinHide( page2 );
	gwinHide( page3 );
	/* ... */

	// Allow the rendering thread to clear the screen
	gfxYield();				// ADD THIS LINE!

	// Show page selected page
	switch ( pageIndex ) {
	case 0:
		gwinRaise( page1 );		// ADD THIS LINE!
		gwinShow( page1 );
		break;

	case 1:
		gwinRaise( page2 );		// ADD THIS LINE!
		gwinShow( page2 );
		break;

    /* ... */

	default:
		break;
	}
}

I hope this will help someone else in the future