#4720: Display scaling, live window resizing, and high-DPI support
-------------------------------------------------+-------------------------
Reporter: pastdue | Owner:
Type: patch (an actual patch, not | Status: new
a request for one) | Milestone: unspecified
Priority: normal | Version: git/master
Component: other |
Operating System: All/Non-Specific |
-------------------------------------------------+-------------------------
PR: https://github.com/Warzone2100/warzone2100/pull/113
Patch: https://github.com/Warzone2100/warzone2100/pull/113.patch
--
Ticket URL: <http://developer.wz2100.net/ticket/4720>
Warzone 2100 Trac <http://developer.wz2100.net/>
The Warzone 2100 Project
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Warzone2100-project mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/warzone2100-project
