Skip to content

Scale the pixel sizes in the stylesheet according to GUI font size#3490

Merged
10110111 merged 2 commits intoStellarium:masterfrom 10110111:scalable-guiNov 4, 2023
+41-3

Commits

Commits on Nov 3, 2023

Commits on Nov 4, 2023