Skip to content
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

tip_key() isn't unique #8

Closed
argyleink opened this issue Aug 8, 2018 · 0 comments
Closed

tip_key() isn't unique #8

argyleink opened this issue Aug 8, 2018 · 0 comments
Assignees
@argyleink
Labels
🐜 bug Something isn't working good first issue 👍 Good for newcomers
Projects
v1

Comments

@argyleink
Copy link
Collaborator

this makes pinning metatips not work proper
@argyleink argyleink self-assigned this Aug 8, 2018
@argyleink argyleink added 🐜 bug Something isn't working good first issue 👍 Good for newcomers labels Aug 8, 2018
@argyleink argyleink added this to To do in v1 Aug 8, 2018
@argyleink argyleink moved this from To do to In progress in v1 Aug 15, 2018
@argyleink argyleink moved this from In progress to To do in v1 Aug 16, 2018
@argyleink argyleink moved this from To do to In progress in v1 Aug 21, 2018
@argyleink argyleink moved this from In progress to Done in v1 Aug 24, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@argyleink argyleink

Labels
🐜 bug Something isn't working good first issue 👍 Good for newcomers
Projects
v1
  
Done 👍
Milestone
No milestone
Development

No branches or pull requests
1 participant
@argyleink