can double-clicking to hide ? for `GitHub-table-of-contents` Script

[dnknn]

If easy to achieve, Can you add double-clicking to hide Toc ?

Please see the screenshot below ❸:

[Mottie]

Hi @dnknn!

That's an easy enhancement to make. I'll make it available soon.

[Mottie]

Hmm, weird. I just noticed that the double-click only works after you drag & drop.

[Mottie]

Ok, fixed. There is a delay after the double-click before the window collapses; I haven't spent too much time investigating how to fix that while also trying to detect a drag & drop.

[dnknn]

I tried it, and it was perfect, no problem.
Thanks you very much!