Um
hier nicht off-topic zu werden, hole ich den Beitrag eben noch mal hervor.
Wie gesagt, ich habe auch in der allerneusten SharpDevelop-Version 1.1.0.2016 nicht diesen mysteriösen Fehler. Ich weiß auch immer noch nicht, wodurch das Problem überhaupt verursacht wird. Wenn jemand inzwischen eine Idee hat, ich bin immer noch interessiert.