Board Thread:Support Requests - Getting Technical/@comment-12385-20150520190015/@comment-1038387-20150520193858

Okay, this just came to me: it might be something else.

Did you have these preferences for a long time? Because the options in preferences have changed over time, and some have been removed/added. You can't access the ones that've been removed, but they're still active. I had that issue with automatically hiding the TOC - I couldn't reenable that because the option to hide it was no longer in the menu, but the preference itself was still working. That could only be fixed by resetting all prefs - rebooting my account into the new preference system, as it were.

I don't know if those old preferences can be reactivated. I fear it can't. You'd best ask staff via that bug report link I gave you - that's what I used.