... coff coff ... ho capito, però il problema che ho fatto notare non è inerernte l'apertura/chiusura della barra di ricerca; prova a fare i seguenti passi:
1: apri la barra di ricerca (anche con F3, che è - te lo concedo
- più comodo)
2: inserisci una parola di ricerca (facendo finta
di cercarla all'interno della pagina) e cercala
3a: naviga un po' sulla pagina o su altre pagine
4a: dopo un po' usa la scorciatoia ALT+D per passare alla barra degli indirizzi
5a: invece di passare alla barra degli indirizzi, il browser eseguirà il comando Evi
denzia della barra di ricerca, evidenziando nel testo le parole inserite nella barra di ricerca stessa
Per passare effettivamente alla barra degli indirizzi devo prima:
4b: passare alla barra di ricerca (anche con F3, se vuoi)
5b: chiudere la barra di ricerca (anche con ESC)
6b: usare la scorciatoia ALT+D per passare alla barra degli indirizzi
Prima della versione 2.0.0.4 - o ancor prima, non ricordo esattamente - non c'era questo problema ... tutto qui ...