opentk/opentk — pull request #51 by cwassall (2014-01-19 19:47:53+00:00)
Title: Remember DisplayDevice original resolutions

When refreshing the AvailableDevices list, it is important to set the
original resolution on any DisplayDevices that were previously available
to allow the RestoreResolution() method to work correctly.