Thanks for sharing! Will have to check it out when I have some time available.
Op vr 10 mei 2019 22:04 schreef <bernhard.guil...@begu.org>: > Hi, > because there was a recent discussion about to implement another Vala > Language Server. I just wanted to inform you that there is a new one [1] > which looks really good and active. There is also a gedit plugin to test it > [2] :). It is unfortunately not listed at the wiki. In my opinion it is > more advanced then the other ones. > > Regards, > Bernhard > > 1 https://gitlab.gnome.org/esodan/gvls > 2 https://gitlab.gnome.org/esodan/gvls/tree/master/src/ui/gedit > _______________________________________________ > vala-list mailing list > vala-list@gnome.org > https://mail.gnome.org/mailman/listinfo/vala-list > _______________________________________________ vala-list mailing list vala-list@gnome.org https://mail.gnome.org/mailman/listinfo/vala-list