Fix for output window not refreshing after output flush on Windows.

Authored by tfry on Mar 13 2016, 7:53 PM.

Description

Fix for output window not refreshing after output flush on Windows.

Actually, a separate issue was that "refresh output" was broken, but this did not show as long as the auto-update mechanism was working.

BUG: 360236

Details

Committed
tfryMar 13 2016, 7:56 PM
Parents
R5:cf5d7cd16a49: Fix Windows build
Branches
Unknown
Tags
Unknown