Merge pull request #2159

6955976b Add various readline related fixes (Jethro Grassie)
This commit is contained in:
Riccardo Spagni 2017-07-19 11:52:26 +02:00
commit ab594cfee9
No known key found for this signature in database
GPG key ID: 55432DF31CCD4FCD
4 changed files with 76 additions and 18 deletions

View file

@ -65,8 +65,7 @@
#ifdef HAVE_READLINE
#include "readline_buffer.h"
#define PAUSE_READLINE() \
rdln::suspend_readline pause_readline; \
std::cout << std::endl
rdln::suspend_readline pause_readline;
#else
#define PAUSE_READLINE()
#endif
@ -195,6 +194,7 @@ namespace
}
else
{
PAUSE_READLINE();
set_console_color(m_color, m_bright);
std::cout << m_oss.str();
reset_console_color();