mariuszhermansdorfer / SandWorm

Augmented Reality Sandbox for Grasshopper & Rhino
MIT License
20 stars 11 forks source link

Feature/#81 dpi scaling #97

Closed philipbelesky closed 2 years ago

philipbelesky commented 2 years ago

Continuing on from #81, the existing DPI scaling functions in WidgetServer seem to have the correct logic; they just needed to be referenced for the main font types. I've only tested this on one machine thus far, but dropdown and other custom UI fonts seem to respond appropriately across a range of different scaling %s.