Customization option for https://debbugs.gnu.org/cgi/bugreport.cgi?bug=13404

[Philipp Stephani]

Hi,

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=13404 changed the behavior of comint-previous-matching-input-from-input to keep point after the text entered by the user instead of moving it to the end of the line. However, I got reports that users prefer the old behavior (moving point to the end of the line so they can immediately append text to the inserted history entry). So I created a new customization option to switch between the old and the new behavior. Please take a look.

Thanks.

0001-Comint-new-user-option-for-C-c-M-r-and-C-c-M-s.txt
Description: Text document