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