git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07d4259) | patch
JAL-3833 Allow setHiDPI and setHiDPIScale to work more usefully in real life
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 22 Apr 2021 14:20:41 +0000 (15:20 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 22 Apr 2021 14:20:41 +0000 (15:20 +0100)
commitb7510c12a0fb9028617e25a4b6edb3cc4011142f
tree5cd142aade60f98ed2f1fc62452df238912742a3tree | snapshot
parent07d425923a64af71ce7d41a11061abd537e99276commit | diff
JAL-3833 Allow setHiDPI and setHiDPIScale to work more usefully in real life
src/jalview/bin/HiDPISetting.java diff | blob | history