Maybe right next to the info-area at the top as a button that can quickly be toggled on and off. If it was in the preferences it would be more effort if you just wanted to en- or disable it briefly (I could image this to be a fairly common usecase).