|
|
edf62e7622
|
firefox: Add profile option with bigger fonts
|
2022-06-29 17:58:27 +02:00 |
|
|
|
abb78d6248
|
Try to standardize font size
|
2022-06-29 17:58:25 +02:00 |
|
|
|
b6c78e01ff
|
gtk: Update font size calculation
|
2022-06-29 17:58:19 +02:00 |
|
|
|
a3c42992c7
|
gtk: Use font_size
|
2022-06-29 17:58:17 +02:00 |
|
|
|
36d601f30f
|
Add config for GTK and QT
|
2020-12-14 13:42:38 +01:00 |
|
