Skip to content

Font type#75

Merged
iramosgutierrez merged 7 commits intomasterfrom
font_type
Oct 7, 2025
Merged

Font type#75
iramosgutierrez merged 7 commits intomasterfrom
font_type

Conversation

@iramosgutierrez
Copy link
Copy Markdown
Collaborator

Font face now customizable

Revision process of the manuscript at Ecosistemas - Notas Ecoinformáticas

@iramosgutierrez
Copy link
Copy Markdown
Collaborator Author

Feature upon reviewer's request.
Currently running and tested in Windows. Maybe @Pakillo can test in Linux and @juliagdealedo / @jimenamateo in Mac?

@Pakillo
Copy link
Copy Markdown
Member

Pakillo commented Jul 24, 2025

Works fine in Ubuntu, thanks Ignacio! I can see CMD-CHECK also passes in all OS 👍

@iramosgutierrez iramosgutierrez merged commit ec550d6 into master Oct 7, 2025
6 checks passed
@iramosgutierrez iramosgutierrez deleted the font_type branch October 7, 2025 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants