The good thing about this tool is that it doesn't change the text size permanently, only when you need it. Open the Settings ...