Diff between d35bae15152bb61008f4ca5643184377ef31c7ff and 806a552d53c787c0ddea9328a09b0ef124bca26e
Changed Files
| File | Additions | Deletions | Status |
| src/shared/shell.c | +1 | -1 | modified |
Full Patch
diff --git a/src/shared/shell.c b/src/shared/shell.c
index a8ad956..a8fa876 100644
--- a/src/shared/shell.c
+++ b/src/shared/shell.c
@@ -1591,7 +1591,7 @@ void bt_shell_set_prompt(const char *string, const char *color)
free(prompt);
}
- rl_reset_line_state();
+ rl_redisplay();
}
static bool shell_quit(void *data)