From: Johannes S. <sc...@ma...> - 2018-07-30 12:41:28
|
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. |