opentk/opentk — pull request #188 by xThaWolfx (2014-10-13 15:59:17+00:00)
Title: Update MouseEventArgs.cs

The IsPressed field was never updated as the pressed parameter was never used.