Commit 7459b159e0843d9ebaaf07dccd37f541fcb8db8b

Sam Lantinga 2013-11-11T23:42:43

Made sure the window had the correct border when manually being brought back from fullscreen mode.