File content as of revision 0:816f0e6362c5:

#include "mbed.h"
#include "stm32746g_discovery_lcd.h"
#include "stm32746g_discovery_ts.h"

int main() {  
    uint8_t status;
    uint16_t x, y;
    BSP_LCD_Init();
    BSP_LCD_LayerDefaultInit(LTDC_ACTIVE_LAYER, LCD_FB_START_ADDRESS);
    BSP_LCD_SelectLayer(LTDC_ACTIVE_LAYER);
    
    BSP_LCD_Clear(LCD_COLOR_RED);
    BSP_LCD_SetBackColor(LCD_COLOR_WHITE);
    BSP_LCD_DisplayStringAt(0, LINE(5), (uint8_t *)"BIENVENUE", CENTER_MODE);
    TS_StateTypeDef TS_State;
    
    status = BSP_TS_Init(BSP_LCD_GetXSize(), BSP_LCD_GetYSize());
    while (1){   
    BSP_TS_GetState(&TS_State);
    if (TS_State.touchDetected) {
        
        BSP_LCD_Clear(LCD_COLOR_BLACK); 
        BSP_LCD_SetBackColor(LCD_COLOR_WHITE);     
        BSP_LCD_DisplayStringAt(0, LINE(5), (uint8_t *)"PAGE1", CENTER_MODE);
        x = TS_State.touchX[0];
        y = TS_State.touchY[0];
        if (x<= 237){
            BSP_LCD_Clear(LCD_COLOR_BLACK); 
            BSP_LCD_SetBackColor(LCD_COLOR_WHITE);     
            BSP_LCD_DisplayStringAt(0, LINE(5), (uint8_t *)"BIENVENU", CENTER_MODE);
        }
        else{
            BSP_LCD_Clear(LCD_COLOR_BLACK); 
            BSP_LCD_SetBackColor(LCD_COLOR_WHITE);     
            BSP_LCD_DisplayStringAt(0, LINE(5), (uint8_t *)"PAGE2", CENTER_MODE);         
            }
        
        }

        }
}