> On Tuesday, 2 October 2018, 19:10:29 BST, wolfgang.ma...@kabelmail.de <wolfgang.ma...@kabelmail.de> wrote: > So thank's a lot for help, but back to monodevelop ....... > Wolfgang
> PS. Maybe the vala-team should think about it.... The 'vala-team' is anyone using Vala. It is a community driven open source project. This discussion has brought out some really useful tips from developers using Vala, but there has already been significant work in this area. For example (with a nice screenshot): https://blogs.gnome.org/chergert/2017/11/11/code-indexing-in-builder/ That was backed by work done through Google Summer of Code: https://anoopchandu.wordpress.com/2017/08/24/code-search-for-gnome-builder-final-report/ Things could always be improved and in the Vala world that means developers fixing and improving their tools with the support of the rest of us by reviewing code and maintaining projects. Anyone using Vala needs to understand that development model. Al _______________________________________________ vala-list mailing list vala-list@gnome.org https://mail.gnome.org/mailman/listinfo/vala-list