Can you check if this will close any of these bugs:
https://bugs.edge.launchpad.net/ubuntu/+source/monodevelop/
Can you check if this will close any of these bugs:
https:/ /bugs.edge. launchpad. net/ubuntu/ +source/ monodevelop/