Added win32_refresh_window function for fixing Win32 redraw issues. (Not yet called)
Added win32_refresh_window function for fixing Win32 redraw issues. (Not yet called)

jonathanslenders/python-prompt-toolkit,ALSchwalm/python-prompt-toolkit,niklasf/python-prompt-toolkit,melund/python-prompt-toolkit,amjith/python-prompt-toolkit,ddalex/python-prompt-toolkit,jaseg/python-prompt-toolkit