Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Flush output before starting a potentially time-consuming
search operation. Without this, buffered data may be not written or only partially written to the screen, so the screen could look inconsistent while the search operation is in progress. Related to #533.
- Loading branch information