Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
dnknn opened this issue Jul 22, 2020 · 4 comments
Closed

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

dnknn opened this issue Jul 22, 2020 · 4 comments

Comments

@dnknn
Copy link

dnknn commented Jul 22, 2020

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

Please see the screenshot below ❸:

Pic-200723_756

@dnknn dnknn changed the title a Bug for GitHub-table-of-contents Script can double-clicking to hide ? for GitHub-table-of-contents Script Jul 23, 2020
@Mottie
Copy link
Owner

Mottie commented Jul 23, 2020

Hi @dnknn!

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

@Mottie Mottie closed this as completed in 446a4e2 Jul 23, 2020
@Mottie
Copy link
Owner

Mottie commented Jul 23, 2020

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

@Mottie Mottie reopened this Jul 23, 2020
@Mottie
Copy link
Owner

Mottie commented Jul 23, 2020

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.

@Mottie Mottie closed this as completed Jul 23, 2020
@dnknn
Copy link
Author

dnknn commented Jul 23, 2020

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants