Redraw the terminal on every wakeup (#2551)

For whatever reason, the optimizations of panes and workspace have
caused the terminal to notify less often then it should. This PR fixes
that oversight.
9d6b3744f7Mikayla Maki committed on 6/1/2023, 5:56:13 PM· committed by GitHubparentsd64dc3940c6baf
1 file changedLine totals unavailable