This bug exists already in the Anjuta-upstream. See the discussion in the
Anjuta mailing list
https://mail.gnome.org/archives/anjuta-list/2016-April/msg00010.html and
the Gnome bug-reports https://bugzilla.gnome.org/show_bug.cgi?id=758567 .

Regards, Jürgen

Reply via email to