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

Add options to set fonts #60

Merged
merged 5 commits into from
Mar 19, 2023
Merged

Add options to set fonts #60

merged 5 commits into from
Mar 19, 2023

Conversation

dwarfmaster
Copy link
Contributor

To fix #35 and #59 , we need a way to specify font sizes. I think the best approach is to select a nomenclature of font sizes that could be reused by modules. Here I propose one such nomenclature to start discussions. Once the nomenclature is agreed upon, we can update the modules to use it.

@danth
Copy link
Owner

danth commented Mar 10, 2023

If I was writing this I would have had a single size for each font (serif, sans-serif, monospace), but I think your choices provide a bit more flexibility.

@dwarfmaster dwarfmaster marked this pull request as ready for review March 14, 2023 14:47
@dwarfmaster
Copy link
Contributor Author

I haven't tested everything in depth, but it should work.

Copy link
Owner

@danth danth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks like there is an issue with the Sway module:

error: A definition for option `home-manager.users.danth.wayland.windowManager.sway.config.fonts.size' is not of type `floating point number'. Definition values:
       - In `/nix/store/d8dfhghz782by1524kg8jwhjqmmv4hp3-modules/sway/hm.nix': 10

@dwarfmaster
Copy link
Contributor Author

I didn't know nix distinguished integers and floating points, I'll fix that.

Copy link
Owner

@danth danth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Works with my configuration now.

@danth danth merged commit 50dcc46 into danth:master Mar 19, 2023
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.

Option to change font size
2 participants