From 30545b7ae209043f4dfb563a955dfc6d3aa94b87 Mon Sep 17 00:00:00 2001 From: caleb-allen Date: Sat, 28 Oct 2023 21:03:16 +0100 Subject: [PATCH] Clean up some mess --- stdlib/REPL/src/LineEdit.jl | 2 +- stdlib/REPL/src/REPL.jl | 9 --------- stdlib/REPL/src/precompile.jl | 4 ---- 3 files changed, 1 insertion(+), 14 deletions(-) diff --git a/stdlib/REPL/src/LineEdit.jl b/stdlib/REPL/src/LineEdit.jl index 5e87a6d9055f5..154d6c5c9004d 100644 --- a/stdlib/REPL/src/LineEdit.jl +++ b/stdlib/REPL/src/LineEdit.jl @@ -2047,7 +2047,7 @@ end input_string(s::PrefixSearchState) = String(take!(copy(s.response_buffer))) -write_prompt(terminal, s::PrefixSearchState,) = write_prompt(terminal, s.histprompt.parent_prompt) +write_prompt(terminal, s::PrefixSearchState) = write_prompt(terminal, s.histprompt.parent_prompt) prompt_string(s::PrefixSearchState) = prompt_string(s.histprompt.parent_prompt.prompt) terminal(s::PrefixSearchState) = s.terminal diff --git a/stdlib/REPL/src/REPL.jl b/stdlib/REPL/src/REPL.jl index 7766d035f719a..634f271f01a6e 100644 --- a/stdlib/REPL/src/REPL.jl +++ b/stdlib/REPL/src/REPL.jl @@ -1478,19 +1478,10 @@ function run_frontend(repl::StreamREPL, backend::REPLBackendRef) dopushdisplay = !in(d,Base.Multimedia.displays) dopushdisplay && pushdisplay(d) while !eof(repl.stream)::Bool - # if have_color - # print(repl.stream,repl.prompt_color) - # end print(repl.stream, JULIA_PROMPT) - # if have_color - # print(repl.stream, input_color(repl)) - # end line = readline(repl.stream, keep=true) if !isempty(line) ast = Base.parse_input_line(line) - # if have_color - # print(repl.stream, Base.color_normal) - # end response = eval_with_backend(ast, backend) print_response(repl, response, !ends_with_semicolon(line), have_color) end diff --git a/stdlib/REPL/src/precompile.jl b/stdlib/REPL/src/precompile.jl index 4c3a8346c5b6f..aad5d282108bc 100644 --- a/stdlib/REPL/src/precompile.jl +++ b/stdlib/REPL/src/precompile.jl @@ -58,10 +58,6 @@ cd("complete_path\t\t$CTRL_C julia_exepath() = joinpath(Sys.BINDIR, Base.julia_exename()) -# const JULIA_PROMPT = "julia> " -# const PKG_PROMPT = "pkg> " -# const SHELL_PROMPT = "shell> " -# const HELP_PROMPT = "help?> " const JULIA_PROMPT = styled"{repl_prompt_julia:julia> }" const PKG_PROMPT = styled"{repl_prompt_pkg:pkg> }" const SHELL_PROMPT = styled"{repl_prompt_shell:shell> }"