431
you are viewing a single comment's thread
view the rest of the comments
[-] autotldr@lemmings.world 36 points 1 year ago

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!

[-] vacuumflower 32 points 1 year ago

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.

this post was submitted on 11 Oct 2023
431 points (98.2% liked)

Technology

59967 readers
4769 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related content.
  3. Be excellent to each another!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, to ask if your bot can be added please contact us.
  9. Check for duplicates before posting, duplicates may be removed

Approved Bots


founded 2 years ago
MODERATORS