diff --git a/lib/utils/mu-readline.cc b/lib/utils/mu-readline.cc index 66d4a5b3..edf6a52e 100644 --- a/lib/utils/mu-readline.cc +++ b/lib/utils/mu-readline.cc @@ -1,5 +1,5 @@ /* -** Copyright (C) 2020 Dirk-Jan C. Binnema +** Copyright (C) 2020-2023 Dirk-Jan C. Binnema ** ** This program is free software; you can redistribute it and/or modify it ** under the terms of the GNU General Public License as published by the @@ -16,15 +16,13 @@ ** Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. ** */ - -#include "mu-readline.hh" #include "config.h" -#include -#include +#include "mu-utils.hh" +#include "mu-readline.hh" + #include -#include -#include +#include #ifdef HAVE_LIBREADLINE #if defined(HAVE_READLINE_READLINE_H) @@ -72,7 +70,6 @@ Mu::have_readline() return HAVE_READLINE != 0; } - void Mu::setup_readline(const std::string& histpath, size_t maxlines) { @@ -120,7 +117,7 @@ Mu::read_line(bool& do_quit) #endif /*HAVE_READLINE*/ std::string line; - std::cout << ";; mu> "; + mu_print(";; mu> "); if (!std::getline(std::cin, line)) do_quit = true;