Am Tue, 08 Oct 2013 18:43:59 +0200 schrieb "Alex" <[email protected]>:
> 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
