On Tuesday, 8 October 2013 at 18:03:25 UTC, Johannes Pfau wrote:
MonoDevelop is broken on Gnome 3.10 now. They changed something
in gnome-terminal and now MonoDevelop can't open the terminal
anymore :-( Disabling the external console should work but MonoDevelop
seems to ignore that option.

Workaround: https://github.com/mono/monodevelop/pull/414

Okay, nice, I'll put a new build on
as soon as it's been taken into master.

Reply via email to