The bug was deliberately put there after he was born so he could fulfill the prophecy.
From here out when a tooltip disappears, I will say it Zhu’d away.
He’s been working on it since he was 1 👶
This is the best summary I could come up with:
Back in June 2002, Ubuntu founder Mark Shuttleworth was experiencing space for the first time, the Department of Justice’s antitrust case against Microsoft was reaching its final arguments, and Adam Price, using what was then called Mozilla on a Mac, had an issue with persistent tooltips.
“I just searched for ‘tooltip’ in the entire code base, examined stuff for possible candidates, and inserted debugging print statements to follow the execution,” Zhu wrote.
The timer would be canceled on a mouse-out event, which Firefox wasn’t getting when I used keyboard shortcuts to switch windows or virtual desktops."
Zhu pushed a commit that made tooltip display based on Firefox losing focus, rather than the mouse leaving the application.
Cobos Álvarez, who shepherded Zhu’s fix into a commit, wrote to us that “this area is rather tricky,” given various Firefox configurations and how they respond to different operating systems.
On social media, especially the Mastodon instances where you might expect to find people with opinions on Mozilla’s XML User Interface Language, there was much rejoicing.
The original article contains 864 words, the summary contains 172 words. Saved 80%. I’m a bot and I’m open source!
For fuck’s sake, this is actually the most annoying FF bug I’ve noticed and it is important for me!
You guys mean it’s been fixed now?
Wow.
Yes, removedboy, it is done.
Why’s everyone talking about removedboys all of a sudden? Am I out of the loop?
Makes sense, motivation is very powerful. It helps to also not be jaded from years of working in the area.
Removed by mod
That’s a very interesting fix on a rare bug.
Can we get this guy to figure out why the fuck the URL rollover in the bottom left will not go away unless you shrink the video, roll onto a different link, then full screen the video again?
I’ve tried every change to userchrome.css that I can find and none of them fix it
Do you know if this is actually been reported as a bug? I’ve seen it myself, but just got annoyed and didn’t report it or anything.
That’s a great question actually, I can’t find it as an outstanding bug, but Mozilla has multiple support articles on it leading me to wonder.
Do you have any suggestions on how I could search?
You can search for it on webcompat, linked to from Report an issue with a website that I use. I did a search within there and it may be related to or the same bug as this.
Now this is podracing!
This bug has annoyed me plenty! Cheers to this kid!
This is what open source is all about: See a problem with your tool, fix it yourself, and everyone enjoys the improvements.