I'll try and figure this out, thanks. Another problem I keep having is that Firefox 10 ESR periodically forgets things like the most commonly visited URLs or the open tabs, and occasionally just gets upset by some focus change and disappears spontaneously. I have the impression that it's just a lot less stable than the supposedly ancient version I use on Ubuntu "Historical Heron".