That's what I figured. Any per-user setting like that is going to have to be stored in the database. Or using cookies, but that's even suckier.