Vadim Zeitlin b7c2918bf1 Document that Refresh() always erases background in non-MSW ports ... The distinction between redrawing the background and the rest of the window only exists in MSW and we can't refresh the window without refreshing its background in the other ports, but we can at least document this. Closes #19234.		2021-07-28 01:25:51 +02:00
..
wx	Document that Refresh() always erases background in non-MSW ports	2021-07-28 01:25:51 +02:00
check_syntax.sh