Hi! My name is Cédric Bozzi, I make websites and iOS apps, and this is my blog about technology (mostly a Twitter archive, really).

19 December 2002

Quelqu’un s’est enfin collé à la tâche de faire fonctionner la roulette de la souris sous Mozilla. Vous savez, ou vous ne savez peut-être pas, que si vous appuyez sur la roulette, et bougez la souris, vous vous déplacez dans le document (ça marche dans Internet Explorer, et dans beaucoup d’autres logiciels). Ce qui est pratique pour un déplacement horizontal, ou quand on veut descendre tellement loin dans un document que ce serait trop fastidieux de le faire en tournant la roulette. Bon, c’est vrai que, depuis plusieurs mois que j’utilise Mozilla, j’avais très bien réussi à oublier cette habitude ; mais là, de pouvoir m’en servir à nouveau, je m’aperçois d’un coup à quel point ça m’avait manqué. Donc, ce que je voulais dire, c’est que ça s’appelle Autoscroll et que… c’est buggé. C’est-à-dire que je m’aperçois, là, que je ne peux plus cliquer dans le formulaire du journal, ça ne marche plus, ça a tout cassé. Donc, ne l’installez pas tout de suite. Mais ça a quand même le mérite d’exister. En fait, cet article a beaucoup moins de sens maintenant que je me suis aperçu que ça cassait la gestion de la souris. Mais on ne peut qu’espérer une version corrigée bientôt. Ou alors, je vais être bon pour réinstaller Mozilla. Encore une fois. Arg. Mais ca sera bien, quand même. Quand ça marchera.

Archives

2001 01 02 03 04 05 06 07 08 09 10 11 12

2002 01 02 03 04 05 06 07 08 09 10 11 12

2003 01 02 03 04 05 06 07 08 09 10 11 12

2004 01 02 03 04 05 06 07 08 09 10 11 12

2005 01 02 03 04 05 06 07 08 09 10 11 12

2006 01 02 03 04 05 06 07 08 09 10 11 12

2007 01 02 03 04 05 06 07 08 09 10 11 12

2008 01 02 03 04 05 06 07 08 09 10 11 12

2009 01 02 03 04 05 06 07 08 09 10 11 12

2010 01 02 03 04 05 06 07 08 09 10 11 12

2011 01 02 03 04 05 06 07 08 09 10 11 12

2012 01 02 03 04 05 06 07 08 09 10 11 12

2013 01 02 03 04 05 06 07 08 09 10 11 12

2014 01 02 03 04 05 06 07 08 09 10 11 12

2015 01 02 03 04 05 06 07 08 09 10 11 12

2016 01 02 03 04 05 06 07 08 09 10 11 12

2017 01 02 03 04 05 06 07 08 09 10 11 12

2018 01 02 03 04 05 06 07 08 09 10 11 12

2019 01 02 03 04 05 06 07 08 09 10 11 12