Re: [Notion-general] How to reset/edit query history?

[Johannes S. <sc...@ma...>]

On Fri, 3 Aug 2018, Arnout Engelen wrote:

> /.../ and saved when the session is saved or when notion is
> shut down.
 
> Perhaps if you edit the file and then kill the notion process
> this will have the desired effect?

I removed the file, and then zapped notion with pkill, but the 
file was still resurrected.

It starts to look as if I have to write a few lines of Lua in
cfg_notioncore.lua, and bind to some button I can press. Since
I'm no notion-Lua-guru, it starts to look as if I could teach
myself to ignore the offending items in the command history after
all...

Yours Sincerely

Johannes