Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix dissappearing cursor #6811
When running a rule under the V2 UI, the cursor disappeared at the end, leaving the terminal unusable for further commands.
Flush the terminal as the last thing it does in
Even though the output of a
Part 1 of #6808