Add key_timeout config option (#1649)

This commit is contained in:
Thomas B Homburg
2020-04-24 19:28:38 +02:00
committed by GitHub
parent 0e510ad42b
commit 716c4def03
3 changed files with 30 additions and 8 deletions

View File

@ -555,6 +555,13 @@ pub async fn cli() -> Result<(), Box<dyn Error>> {
rl.set_edit_mode(edit_mode);
let key_timeout = config::config(Tag::unknown())?
.get("key_timeout")
.map(|s| s.value.expect_int())
.unwrap_or(1);
rl.set_keyseq_timeout(key_timeout as i32);
let completion_mode = config::config(Tag::unknown())?
.get("completion_mode")
.map(|s| match s.value.expect_string() {