Ci sono cose che non sono esplicabili tecnicamente. Sono quegli eventi alla Windows, in cui anche il tecnico esperto con anni di esperienza ad un certo punto, esausto, viene e ti fa spenga-e-accenda.
Ma veniamo prima ai fatti. Ieri tuutto-il-mondo ha scaricato tuutti-insieme Firefox 3 per il D-Day (download day). Risultato: forse il Guinness dei Primati (anche nel senso che noi come scimmie siamo stati al gioco) si è superato, ma i server del Mozilla Team hanno fatto ciao-ciao con la manina per un paio d’ore. Io Firefox l’ho scaricato dopo 3 ore che ci provavo. Ma vabbè, è bello, è veloce e se provate a digitare about:robots nella address bar, esce anche la cosa simpatica (grazie Antani per il tip 
).
Ma ieri è stato il D-Day anche per me. Firefox 3 vuol dire ricalibrazione delle estensioni del browser: alcuni sono compatibili, altri no. La mia tesi di laurea, in questo esatto momento, prevede proprio la modifica di un plugin per Firefox (perchè Murphy non va mai in vacanza, anche in estate).
Risultato: ho sclerato per quasi 1 giorno e il creatore originario del plugin mi ha dato una mano uploadando la versione compatibile del plugin originario. Ci ho sbattuto su il mio codice e ora il mio pezzetto di tesi è compatibile con la nuova versione del browser.
MISTERO DELLA FEDE
In Firefox utilizzo 2 profili diversi: uno per la navigazione e uno per la tesi. Installando il plugin nel primo, la barra mi esce nella parte alta del browser. Nel secondo profilo, in quella bassa.
Browser e codice sono identici!
Vabbè …
A volte succede anche a me, nell’utilizzo di più profili diversi non sai mai cosa salta fuori.
Il codice del programma è identico, ma magari c’è l’opzioncina super nascosta che in un profilo ha la checkbox attivata e nell’altro no
In questi casi, l’unica opzione possibile è rassegnarsi!