Closed GoogleCodeExporter closed 9 years ago
If I understand it well you would expect tabs to become wider (?). Anything
else that does not scale?
Original comment by pyscripter
on 27 May 2011 at 3:18
OK, I understand what you mean.
Fixed in version control and implemented a couple of other improvements for
high DPI.
Original comment by pyscripter
on 14 Jun 2011 at 1:36
Original issue reported on code.google.com by
ad...@thekks.net
on 30 Apr 2011 at 11:29Attachments: