J'utilise Safari 8.0.2. Safari 8 a introduit de très bonnes fonctionnalités, mais rend l'omnibar minuscule: il occupe maintenant moins du tiers de la barre d'outils et il semble impossible d'ajuster sa taille. Je trouve cela incroyablement irritant. Comment puis-je l'agrandir pour qu'il remplisse à nouveau la majorité de la barre d'outils? Y at-il une extension qui le fait?