mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-10-06 07:00:16 +08:00
The existing Flush() only called fflush() but this is not enough to really flush the file to the disk. We can't start calling fsync() from Flush() as this may significantly slow down the existing code. We could add a separate Sync() but as it almost always makes sense to flush the file before syncing it, add a new function doing both at once instead.