Another commenter says that there’s a HiDPI option in the settings now: https://...

		snazz on April 3, 2020 \| parent \| context \| favorite \| on: OpenTTD 1.10 Another commenter says that there’s a HiDPI option in the settings now: https://news.ycombinator.com/item?id=22773440