PeterN eaf1e33bd7 Fix #10021: Object GUI resized when switching between different objects. (#10196) ...

* Fix: Scale object gui margin by interface scale.

* Fix: Improve padding on object info text.

* Fix #10021: Resizing for 1/2/4 object views didn't account for interface scale.

As halving and doubling padding is problematic due to rounding, it is now
added on lower view counts instead of removing on higher view counts.

2022-11-28 00:27:57 +00:00

28 KiB

Raw Blame History

View Raw