On 15/10/19(Tue) 12:30, Stefan Sperling wrote:
> On Tue, Oct 15, 2019 at 11:53:12AM +0200, Martin Pieuchot wrote:
> > On 15/10/19(Tue) 11:11, Stefan Sperling wrote:
> > > I forgot to ask earlier: Can the backspace key still abort the search
> > > in this case?
> > 
> > It doesn't.
> 
> It does for me. I run the same steps as you outlined below and then
> I can press backspace to abort the search. It will stop loading
> commits and give control of the cursor back to me.
> 
> Is there a problem with the backspace key in your case?

No, only with the user (o:

Sorry for the noise and thanks for the tool!