Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Options are customizable, but do not take effect if enabled this way #325

Open
jdahm opened this issue Mar 22, 2019 · 1 comment
Open

Options are customizable, but do not take effect if enabled this way #325

jdahm opened this issue Mar 22, 2019 · 1 comment
Labels
good first issue help wanted

Comments

@jdahm
Copy link

jdahm commented Mar 22, 2019

These boolean variables do not seem to have an effect when enabled through an entry in custom-set-variables.

zenburn-use-variable-pitch
zenburn-scale-org-headlines
zenburn-scale-outline-headlines

Should these be removed from the customize interface and a comment be added to the README telling users to set this before loading the theme?
@bbatsov
Copy link
Owner

bbatsov commented Jul 12, 2019

Yeah, probably that'd be best.

@nawetimebomb nawetimebomb mentioned this issue Dec 4, 2019
Merged
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jdahm @bbatsov