Andy,
> If it was ticked, but not greyed out, what should firefox do when you
> unticked it?
Thats easy: Not try to claw everything back when another browser tries to
"take posession".
> Easiest to let another browser take the default
How ? With that tickmark ticked it looks like that FF will do everything
in its power not to let that happen ...
>> It just makes no sense to me that the option should be grayed out
Indeed: That way it looks like you /cannot/ relinguish control anymore ...
.... unless a ticked, grayed-out box means something completely different
than what its commonly considered to be (active, unalterable) - which would
be double-plus-ungood.
And by the way, if it has not been mentioned yet: Under Windows the graying
out of choice-boxes might be related to a policy setting. I can imagine
(corporate use of) FF might have something similar.
Regards,
Rudy Wieser