[MonoDevelop] Middle mouse not pasting in MD 3.1.0

[Matt Calder]

I just built and installed MD 3.0.1 and it seems that selecting with the
mouse and clicking the middle mouse button does not paste. Is this a bug or
is there some new configurations?

Matt

MonoDevelop 3.1.0
Installation UUID: feaee481-7c2a-4781-a090-d6228809132d
Runtime:
    Mono 2.11.1 ((no/426188e Tue May 15 15:50:21 EDT 2012) (64-bit)
    GTK 2.22.0
    GTK# (2.12.0.0)
Build information:
    Git revision: dc87d3242eedc2439f023c9e0b8883acfb3d8faa-dirty
    Build date: 2012-05-16 14:50:52+0000
Operating System:
    Linux
    Linux pharos 2.6.35-32-generic #67-Ubuntu SMP Mon Mar 5 19:39:49 UTC
2012 x86_64 GNU/Linux
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ximian.com/pipermail/monodevelop-list/attachments/20120516/e4393581/attachment.html>