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