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

[Arnout E. <no...@bz...>]

On Fri, Aug 3, 2018 at 8:36 PM, Johannes Schöön <sc...@ma...> wrote:
> On Fri, 3 Aug 2018, Arnout Engelen wrote:
>> And if you send signal 9 (SIGKILL) instead of the default (SIGTERM)?
>
> Chanel No. 9 worked like a charm! Thanks!

Cool good to hear!

A neat feature might be to keep some statistics to determine which
autocompletion to show first, which could make typo's fade away
'naturally'.


Arnout