I just discovered how to change a default Firefox setting that has been bothering me for ages.