[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Customization option for https://debbugs.gnu.org/cgi/bugreport.cgi?b

From: Philipp Stephani
Subject: Re: Customization option for https://debbugs.gnu.org/cgi/bugreport.cgi?bug=13404
Date: Tue, 22 Nov 2016 12:50:34 +0000

Philipp Stephani <address@hidden> schrieb am Do., 27. Okt. 2016 um 00:33 Uhr:
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.

Nobody complained, so I pushed it to master. 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]