Per tutta la storia del progetto Firefox di Mozilla, gli utenti hanno occasionalmente riscontrato il famigerato bug del “tooltip persistente“. Alla fine, si è riusciti a risolverlo dopo 22 anni, proprio in occasione del 23esimo compleanno.
Il problema ora è risolto definitivamente, grazie al contributo di codice da parte di un programmatore che è solo un anno più vecchio del bug stesso.
Firefox cancella un bug più vecchio di un anno
Si tratta del bug 148624 di Firefox. Scoperto 22 anni fa da un utente del browser Internet “Mozilla Suite” su un Mac, si tratta di un tooltip stranamente persistente (una piccola casella gialla con una descrizione testuale all’interno) dopo aver posizionato il cursore del mouse su un collegamento web.
Se si sposta il tutto sullo schermo, il tooltip rimaneva lì fino a quando non avesse riportato il software in primo piano e spostato il cursore del mouse lontano dalla barra degli strumenti.
Era il 2000, quando Mozilla Suite divenne Mozilla Firefox. Nonostante il passaggio, il persistente bug del tooltip non fu mai risolto. Fino a un mese fa, come riporta Tech Spot, quando il ventunenne Yifan Zhu ha deciso di porre fine da solo al fastidio del software.
Essendo un progetto open source con una storia lunga e complicata, Firefox è noto per includere, oltre a numerose estensioni, anche bug minori che difficilmente otterranno la giusta attenzione da parte di qualche sviluppatore Mozilla impegnato in tempi brevi. Alcuni bug e problemi software alla fine vengono risolti. Altri li lascia a marcire nel codice.
Chi ha eliminato il bug ventennale di Mozilla
Studente di dottorato al primo anno in Ingegneria Elettrica presso l’Università di Stanford, Yifan Zhu si descrive su GitHub come un collaboratore minore “occasionale” al software open source che utilizza, come Mozilla Firefox.
Prima di iniziare ad analizzare il bug del tooltip, Zhu non aveva esperienza con progetti complessi come Firefox. Eppure è riuscito a trovare gli indizi giusti nel codice base di Firefox per preparare una potenziale soluzione al bug del tooltip.
La correzione del codice di Zhu gliel’ha perfezionata poi un programmatore più esperto (Cobos Álvarez). Alla fine è stata finalmente accettata da Mozilla come parte dell’imminente rilascio stabile di Firefox (119).
La patch ha introdotto alcune regressioni minori altrove con il sistema di tooltip di Mozilla, ma dovrebbe finalmente risolvere uno dei bug più vecchi (se non il più vecchio) e più fastidiosi mai riscontrati dagli utenti di Firefox.