><snip>
>
>>I still like Opera as a general-purpose browser (I miss the mouse gestures in FireFox), but I will have to see if I can solve my current problems.
>
>FireFox has many third-party extensions including the mouse gestures.
Hehe, that's one thing I don't like about FireFox, that many things which are already included in Opera, have to be installed separately. (On the other hand, I suspect that with extensions, potentially many more features would be available.)
But anyway, thanks for the information - I may switch to FireFox as my main browser after all.
Difference in opinions hath cost many millions of lives: for instance, whether flesh be bread, or bread be flesh; whether whistling be a vice or a virtue; whether it be better to kiss a post, or throw it into the fire... (from Gulliver's Travels)