Um ihn zu aktivieren klicken Sie auf die Menüleiste [Tools > Options...] und ändern Sie den entsprechenden Parameter. Für mehr Information klicken Sie auf folgende Leiste [Help Topics] von Ihren Browser.