diff options
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shell/src/lib.rs b/shell/src/lib.rs index 4601b98..9644f01 100644 --- a/shell/src/lib.rs +++ b/shell/src/lib.rs | |||
| @@ -20,6 +20,9 @@ pub fn run() -> ! { | |||
| 20 | ); | 20 | ); |
| 21 | 21 | ||
| 22 | loop { | 22 | loop { |
| 23 | // Push any deferred scrolls so the prompt renders on a current | ||
| 24 | // framebuffer (e.g. after a streaming command's batch of output). | ||
| 25 | rsnix::vt::sync_scroll(); | ||
| 23 | // Print prompt | 26 | // Print prompt |
| 24 | gop_print!("> "); | 27 | gop_print!("> "); |
| 25 | serial_print!("> "); | 28 | serial_print!("> "); |
