After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 690944 - DevStudio vs IDE
DevStudio vs IDE
Status: RESOLVED OBSOLETE
Product: anjuta
Classification: Applications
Component: documentation
unspecified
Other Linux
: Normal minor
: ---
Assigned To: Anjuta maintainers
Anjuta maintainers
Depends on:
Blocks:
 
 
Reported: 2013-01-01 17:30 UTC by Gil Forcada
Modified: 2020-11-06 20:21 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Gil Forcada 2013-01-01 17:30:47 UTC
Hi documenters!

While reviewing a translation I realized that the user interface refers to the app itself as either Anjuta alone or as an IDE(Integrated Development Environment Anjuta), but the documentation refers to it as Anjuta DevStudio.

Wouldn't make sense to come up with some consistency in both UI and documentation?

Cheers,
Comment 1 Sébastien Granjoux 2013-01-06 13:59:32 UTC
(In reply to comment #0)
> While reviewing a translation I realized that the user interface refers to the
> app itself as either Anjuta alone or as an IDE(Integrated Development
> Environment Anjuta), but the documentation refers to it as Anjuta DevStudio.
> 
> Wouldn't make sense to come up with some consistency in both UI and
> documentation?

Yes, I'm agree that it can be a bit confusing. So I have asked the question on the mailing list but we have no clear rules..

We typically call it Anjuta alone and that's the name that will appear in error messages or inside the documentation. I think it's better to keep a simple name when there is no ambiguities.

I think it can still be useful to use Anjuta DevStudio when used in a wider context, by example on a web page. The about dialog could use Anjuta DevStudio too.

Do you think it's ok to keep using these two names? or do you think it's better to keep only one? in this case we will probably keep only Anjuta.

For IDE, it's quite clear that Anjuta is an IDE but we shouldn't call it "Anjuta IDE" only Anjuta or Anjuta DevStudio.
Comment 2 Michael Catanzaro 2014-02-01 15:30:30 UTC
(In reply to comment #1)
> Do you think it's ok to keep using these two names? or do you think it's better
> to keep only one? in this case we will probably keep only Anjuta.

For most applications we're trying to consistently display exactly one user-facing name.  On a webpage you could always say "Anjuta, an IDE" or something along those lines.
Comment 3 André Klapper 2020-11-06 20:21:40 UTC
bugzilla.gnome.org is being replaced by gitlab.gnome.org. We are closing all old bug reports in Bugzilla which have not seen updates for many years.

If you can still reproduce this issue in a currently supported version of GNOME (currently that would be 3.38), then please feel free to report it at https://gitlab.gnome.org/GNOME/anjuta/-/issues/

Thank you for reporting this issue and we are sorry it could not be fixed.