From 637b85c9e570d9f641a7033ff8d6abb3b14b981c Mon Sep 17 00:00:00 2001 From: Frames White Date: Mon, 27 Mar 2023 11:44:16 +0800 Subject: [PATCH 1/2] Flush stdout from prompt before readline --- src/util.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util.jl b/src/util.jl index b0adec4..3289a30 100644 --- a/src/util.jl +++ b/src/util.jl @@ -79,6 +79,7 @@ function input_choice(prompt, options::Vararg{Char})::Char for _ in 1:100 println(prompt) println("["*join(options, '/')*"]") + flush(stdout) # Ensure prompt has printed before we read input response = better_readline() length(response)==0 && continue reply = lowercase(first(response)) From b6d630b22924c588d7a0f12fc500da0d560b34bd Mon Sep 17 00:00:00 2001 From: Frames White Date: Mon, 27 Mar 2023 11:45:22 +0800 Subject: [PATCH 2/2] Update Project.toml --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 95b6f66..841d305 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "DataDeps" uuid = "124859b0-ceae-595e-8997-d05f6a7a8dfe" authors = ["Frames White "] -version = "0.7.10" +version = "0.7.11" [deps] HTTP = "cd3eb016-35fb-5094-929b-558a96fad6f3"