Commit 707fd9f071672b9ca86cda57917f5c0cacf258a9

Sam Lantinga 2014-06-04T10:56:30

Fixed bug where changing the window border would change the window size on Windows.