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.

Sign up for GitHub

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

Jump to bottom

Improve the sidebar bookmark dropdown #1253

Closed

2 tasks done

timotheeguerin opened this issue Apr 10, 2018 · 0 comments · Fixed by #1254

Closed

2 tasks done

Improve the sidebar bookmark dropdown #1253

timotheeguerin opened this issue Apr 10, 2018 · 0 comments · Fixed by #1254

Labels

✅ has pr 🗺️ feature

Milestone

Member

timotheeguerin commented Apr 10, 2018 •

edited

Loading

Middle click should close the bookmark
Tweak the style

timotheeguerin added the 🗺️ feature label

timotheeguerin mentioned this issue

Feature: Better style for sidebar bookmarks and middle click to close #1254

Merged

timotheeguerin added the ✅ has pr label

timotheeguerin closed this as completed in #1254

timotheeguerin added this to the 0.15.0 milestone

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