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.

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

Adds header_info_size variable to metadata #77

Merged
merged 7 commits into from
Feb 16, 2025
Merged

Conversation

alexk101
Copy link
Contributor

Resolves #76

@yunanwg
Copy link
Owner

yunanwg commented Jan 20, 2025

Hi @alexk101 sorry for the late reaction, I've been quite busy recently.

Will take a look later today!

@yunanwg yunanwg self-assigned this Jan 20, 2025
@alexk101
Copy link
Contributor Author

Will try and resolve some of these issues soon

@yunanwg
Copy link
Owner

yunanwg commented Jan 22, 2025

Appreciated! I made a commit yesterday on your PR but don't know why it got lost somewhere. It should not be too complicated, tell me if you encounter any issue.

@yunanwg
Copy link
Owner

yunanwg commented Feb 15, 2025

I think there are some weird issues with this PR, as I cannot push any changes. Feel free to complete the PR or I will close it later on.

Thanks!

yunanwg and others added 2 commits February 16, 2025 19:57
- Updated default header info font size from 8pt to 10pt
- Added `eval()` to handle font size configuration more robustly

Signed-off-by: mintyfrankie <[email protected]>
@yunanwg yunanwg merged commit a80866a into yunanwg:main Feb 16, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Ability to change header info font size
2 participants