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

org-document-title is always scaled #321

Closed
matteo-l opened this issue Mar 16, 2019 · 2 comments
Closed

org-document-title is always scaled #321

matteo-l opened this issue Mar 16, 2019 · 2 comments

Comments

@matteo-l
Copy link
Contributor

The scaling of face org-document-title is not controlled by any user option. I think it should be enabled only when zenburn-scale-org-headlines, or a new dedicated user option, is true.
@bbatsov
Copy link
Owner

bbatsov commented Mar 16, 2019

Yeah, I agree. Patches welcome!

@matteo-l
Copy link
Contributor Author

Do you think it's better to define a new option zenburn-scale-org-title or use zenburn-scale-org-headlines?

@matteo-l matteo-l mentioned this issue Mar 19, 2019
Merged
@bbatsov bbatsov closed this as completed in cf268af May 9, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@bbatsov @matteo-l