4 ms·
Another commenter says that there’s a HiDPI option in the settings now: https://news.ycombinator.com/item?id=22773440 https://news.ycombinator.com/item?id=22773
by snazz 7y ago
Another commenter says that there’s a HiDPI option in the settings now: https://news.ycombinator.com/item?id=22773440 https://news.ycombinator.com/item?id=22773440