Both the Linux and Windows config dialogs now have a TV Shaders combobox, so the F7 toggle can be made temporary. This makes the hotkey behaviour consistent with all the other hotkeys.