The issue has been closed

posted by fregante over 5 years ago 
Then the tooltip is useless I think :P
posted by szmarczak over 5 years ago
Consider reopening the issue. Showing the big tooltip instead of the small one would be nice IMO.
posted by szmarczak over 5 years ago
If it’s considered obvious it can be hidden (we already hide many tooltips like that) but I noticed that many people don’t even know about that keyword so it’s good to keep it.
The tooltip and the hovercard are for two separate pieces of information and IMHO it doesn’t make much sense to show the issue information while hovering the fixes
keyword.
posted by fregante over 5 years ago
The tooltip and the hovercard are for two separate pieces of information
Then why not merge them into one? Just place This pull request closes issue #...
above the [tooltip] issue title.
posted by szmarczak over 5 years ago
I think its important to show this info it teaches people how to open a pull request that will close another issue
posted by yakov116 over 5 years ago
I think its important to show this info it teaches people how to open a pull request that will close another issue
Then why not merge them into one?
posted by szmarczak over 5 years ago
Why do merge into one? Just because they’re both important it doesn’t mean that they should be merged. One appears on the issue, like everywhere on the site; The other one appears on the trigger word. I don’t think it’s worth the time to merge them.
posted by fregante over 5 years ago
Sometimes I just hover on the Fixes
text (the cursor is only a few pixels away from #...
) and I'm annoyed that I have to move my mouse again just to point at #...
Anyway, if you think these shouldn't be merged, feel free to close this issue.
posted by szmarczak over 5 years ago
What you say makes sense and I too am mildly annoyed by the two different tooltips, but:
- Moving that information inside the large hovercard will get lost in the rest of the text
- It's such a nitpick that IMHO it's not worth the discussion/complexity of code and UI
posted by fregante over 5 years ago
Hmmm. Fair point 🙂 Anyway, I'll try to do this. I don't think this would be to complicated, but I may be wrong.
posted by szmarczak over 5 years ago