Re: Bug, probably related to Custom Themes.

[Chong Yidong]

I checked in a fix.  Please see if it works.

> I load a theme file containing:
>
>  '(column-number-mode t)
>
> Then I disable column-number-mode via the Options menu in the menu bar
> and then save my options _using the "Save Options" menu bar item_.
> column-number-mode is disabled for the current session, but if I start
> a new session column-number-mode is enabled again even though I saved
> my customization to disable it.

Maybe the "Save Options" menu bar entry should unconditionally save
all these options.  The current behavior, which is to check the
saved-value of the option against its default-value, doesn't seem to
be necessary.