|Subject:||Re: Customization option for https://debbugs.gnu.org/cgi/bugreport.cgi?bug=13404|
|Date:||Tue, 22 Nov 2016 12:50:34 +0000|
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.
|[Prev in Thread]||Current Thread||[Next in Thread]|