opentk/opentk — pull request #38 by thefiddler (2014-01-08 21:32:29+00:00)
Title: Fix for issue #33 and issue #34

When running on Mono/Windows, WM_STYLECHANGED messages are not delivered to WinGLNative.WindowProcedure. This results in WindowBorder falling out of sync with the actual state of the window.

As a workaround, we directly call HandleStyleChanged to update our view of WindowBorder whenever we detect this configuration.