On Tuesday, 8 October 2013 at 18:03:25 UTC, Johannes Pfau wrote:
BTW: MonoDevelop is broken on Gnome 3.10 now. They changed something in gnome-terminal and now MonoDevelop can't open the terminalanymore :-( Disabling the external console should work but MonoDevelopseems to ignore that option.Workaround: https://github.com/mono/monodevelop/pull/414
Okay, nice, I'll put a new build on http://simendsjo.me/files/abothe/ as soon as it's been taken into master.