language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-30 12:51:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fmt/clean

Browse source
This commit is contained in:
Cai Bingjun 2023-06-06 22:57:47 +08:00
parent 1cdbeab110
commit e3a2403d07
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/erg_common/stdin.rs
View file

@ -6,7 +6,7 @@ use std::io::{stdin, BufRead, BufReader};
#[cfg(feature = "full-repl")] #[cfg(feature = "full-repl")]
use crossterm::{ use crossterm::{
cursor::{MoveToColumn}, cursor::MoveToColumn,
event::{read, Event, KeyCode, KeyEvent, KeyModifiers}, event::{read, Event, KeyCode, KeyEvent, KeyModifiers},
execute, execute,
style::Print, style::Print,
@ -123,7 +123,8 @@ impl StdinReader {
{ {
consult_history = false; consult_history = false;
match (code, modifiers) { match (code, modifiers) {
(KeyCode::Char('z'), KeyModifiers::CONTROL) | (KeyCode::Char('d'), KeyModifiers::CONTROL) => { (KeyCode::Char('z'), KeyModifiers::CONTROL)
| (KeyCode::Char('d'), KeyModifiers::CONTROL) => {
println!(); println!();
line.clear(); line.clear();
line.push_str(":exit"); line.push_str(":exit");