From: Sébastien G. <se...@fr...> - 2013-02-15 20:33:36
|
Hi, Le 15/02/2013 10:41, Daniele Forsi a écrit : > I find it confusing that the > preferences tab "Preferred plugins" mentions Anjuta when the user > doesn't necessarily know what it is: > "These are the plugins selected by you when Anjuta prompted to choose > one of many suitable plugins. Removing the preferred plugin will > let Anjuta prompt you again to choose different plugin." We don't take much care about this so I will be surprised that there is only this issue. I think you should open a bug report for such thing. Anyway I have created one https://bugzilla.gnome.org/show_bug.cgi?id=693916. Thanks for reporting this, I will try to fix it this week end. Regards, Sébastien |