OpenTK, Linux and resizing windows
OpenTK on Linux currently does not allow the window to be resized if the border is fixed. We get the resize event for the intended size, then immediately get a resize event for the original size. This was preventing GraphicsDeviceManager.PreferredBackBufferWidth and PreferredBackBufferHeight from having any effect.
Previously reported to OpenTK here http://www.opentk.com/node/3132