You can and should avoid this problem (not a bug, it turns out) by disabling buffering in Windows (under the Misc menu or press Control+W)
You can and should avoid this problem (not a bug, it turns out) by disabling buffering in Windows (under the Misc menu or press Control+W)