Ticket #100 (closed defect: fixed)
user defined prompt not restored after history search finished with enter
|Reported by:||phercek||Owned by:|
When I find the wanted string in history and confirm it with enter then getInputLine returns without restoring the user defined prompt followed with the string found. For example, when I type ctrl-r : m a enter then the text on the terminal will be (reverse-i-search)`:ma': :main instead of *Main> :main. So the user defined prompt is not there.
The bug can be worked around by adding e.g. bind: return right return to ~/.haskeline.