lundi 21 août 2000

Dino

Ryan Cassin écrit : « Ceux d’entre vous qui fréquentent le channel #mozillazine savent ce qu’est Dino, mais je voudrais prendre un peu de temps pour expliquer aux lecteurs de mozillazine.org en quoi cela consiste. Dino est un ensemble de patches (livrés dans un XPI facile à installer) qui ajoute un certains nombres d’options à Mozilla. Par exemple la possibilité d’enlever les boutons  »print « et  »search « de la barre d’outils principale ainsi que les menus  »bookmarks « et  »home « de la barre d’outils personnelle. Il y a aussi un bloc-notes intégré dans la Sidebar. N’hésitez pas à lire la page de dino et à l’essayer. »