language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix bug on windows

Browse source
This commit is contained in:
Cai BingJun 2023-02-03 10:40:32 +08:00
parent 35602e655e
commit 3df666e064
3 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/erg_common/stdin.rs
View file

@ -8,7 +8,7 @@ use std::process::{Command, Output};
#[cfg(feature = "full-repl")]
use crossterm::{
cursor::{MoveToColumn, SetCursorStyle},
cursor::{MoveToColumn, SetCursorShape, CursorShape},
event::{read, Event, KeyCode, KeyEvent, KeyModifiers},
execute,
style::Print,
@ -91,11 +91,11 @@ impl StdinReader {
pub fn read(&mut self) -> String {
enable_raw_mode().unwrap();
let mut output = std::io::stdout();
execute!(output, SetCursorStyle::BlinkingBar).unwrap();
execute!(output, SetCursorShape(CursorShape::Line)).unwrap();
let mut line = String::new();
self.input(&mut line).unwrap();
disable_raw_mode().unwrap();
execute!(output, MoveToColumn(0), SetCursorStyle::DefaultUserShape).unwrap();
execute!(output, MoveToColumn(0)).unwrap();
self.lineno += 1;
self.buf.push(line);
self.buf.last().cloned().unwrap_or_default()