id,summary,reporter,owner,description,type,status,priority,milestone,version,resolution,keywords,cc
100,user defined prompt not restored after history search finished with enter,phercek,,"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.[[BR]]

The bug can be worked around by adding e.g. ''{{{bind: return right return}}}'' to ''{{{~/.haskeline}}}''.",defect,closed,minor,,,fixed,,