Am Tue, 08 Oct 2013 18:43:59 +0200
schrieb "Alex" <i...@alexanderbothe.com>:

> On Tuesday, 8 October 2013 at 13:21:17 UTC, Dicebot wrote:
> >> This time, the addin should be compatible to older beta 
> >> versions of
> >> MonoDevelop (like 4.0.12) as well – so feel free to simply try 
> >> it out.
> >
> > _very_ glad to hear that. Thanks for your work!
> 
> Tried it with 4.0.12 - it failed to open even a D file, but I
> already patched it, so it hopefully works with 4.0.12 "stable"
> (Arch/Ubuntu), 4.0.13 (Windows/Mac) and 4.0.17 (git master) now.
> Let's pray that they won't experiment with their API another
> time..

BTW:
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

Reply via email to