On 12/01/20 11:21, Laurenz Albe wrote:
> On Tue, 2020-12-01 at 11:03 -0500, Chapman Flack wrote:
>>> complain about it, so I propose to clear the query buffer if the
>>> editor exits without modifying the file.
>>
>> Or how about keeping the query buffer content unchanged, but not
>> executing it? Then it's still there if you have another idea about
>> editing it. It's easy enough to \r if you really want it gone.
>
> What if the buffer was empty? Would you want to get the previous
> query in the query buffer? I'd assume not...
I took your proposal to be specifically about what happens if the editor
is exited with no change to the buffer, and in that case, I would suggest
making no change to the buffer, but not re-executing it.
If the editor is exited after deliberately emptying the editor buffer,
I would expect that to be treated as emptying the query buffer.
I don't foresee any case that would entail bringing a /previous/ query
back into the query buffer.
Regards,
-Chap
