search

prikhi / lightdm-mini-greeter

A Minimal, Configurable, Single-User GTK3 LightDM Greeter
GNU General Public License v3.0
541 stars 48 forks source link

Option for font size? #3

Closed sambles closed 7 years ago

sambles commented 7 years ago

Hello,

Is there an option to change the size of the font? It's more of a niggle for a HiDPI screen than a problem.

I've Forked tried adding the option, but to be honest i'm a little lost. Commit here

I don't know much GTK, but guess that adding the option to the CSS should work? I see an option 'font‑size' in the docs here.

prikhi commented 7 years ago

I commented on your commit.

If that gets this working, I'd accept a PR with the change.

prikhi commented 7 years ago

Fixed in #4