English: Switching editor will refresh the page. Please save your changes before refreshing. Do you want to refresh the page now ?
Dutch: Als je van editor wisselt, wordt de pagina vernieuwd. Sla je wijzigingen op voordat je vernieuw. Wil je de pagina nu vernieuwen?