Hi Jörn, good suggestion, I think that could work. I have therefore created https://bugzilla.gnome.org/show_bug.cgi?id=606950 .
Cheers, :M: _______________________________________________ Vala-list mailing list Vala-list@gnome.org http://mail.gnome.org/mailman/listinfo/vala-list