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

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

Hi all,

Is there a way of editing or resetting the command history of notion? 
I have some annoying items in my history, which keep showing up, 
cluttering the view. They can be seen in 

~/.notion/default-session--0/saved_queryhist.lua,

but this appears to only be a snapshot of what was in the history stack 
at the time I log out. Deleting or editing it has no effect.

This is only a minor niggle, but in a heat wave, it can be quite annoying. 

Hälsningar

Johannes

p.s. In notion command history, spaces seem to count, at least trailing 
ones.