I wonder if HiDPI support for Linux (and Windows) finally works.
Edit: just grabbed the community edition and the answer is... no. Even with -Dis.hidpi=true - no luck.
Edit: just grabbed the community edition and the answer is... no. Even with -Dis.hidpi=true - no luck.