-
Christian Hergert authored
Update our font information once we get a scaled font. Fixes an issue once the user has changed the font scale with ctrl -/+/0. Fixes #293
0145a74c
Update our font information once we get a scaled font. Fixes an issue once the user has changed the font scale with ctrl -/+/0. Fixes #293