I clearly wasn't paying attention when I made issue #49, or I would have noticed what the commit referenced there was trying to do (but only partially accomplished). Anyway, this PR puts the options entry in line with the other GUI options, while still keeping the option's desired behavior.
Also resets the option in build 375, since this will flip everybody's setting.
I clearly wasn't paying attention when I made issue #49, or I would have noticed what the commit referenced there was trying to do (but only partially accomplished). Anyway, this PR puts the options entry in line with the other GUI options, while still keeping the option's desired behavior.
Also resets the option in build 375, since this will flip everybody's setting.