Skip to content

#309 GUI elements wording change #332

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jan 12, 2022
Merged

#309 GUI elements wording change #332

merged 3 commits into from
Jan 12, 2022

Conversation

julian-cable
Copy link
Collaborator

No description provided.

@julian-cable julian-cable linked an issue Jan 5, 2022 that may be closed by this pull request
en-US/Design.xml Outdated
@@ -91,7 +91,7 @@
For example, for a button labeled <guibutton>Save As...</guibutton>, do not include the ellipsis in the documentation.
</para>
<para>
In most cases, do not include the object type in instructions.
In most cases, do not include the GUI element type in instructions.
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Except it might not be a GUI. It might be a TUI, or something else. I think that's why we went with "object" in the first place. You could just use "element type" I guess?

@julian-cable
Copy link
Collaborator Author

@daobrien I've adopted "element type" as you suggested.

Also, in this section in general, would it be better to change occurrences of "GUI" to "UI" or to "user interface"?

@daobrien daobrien self-requested a review January 10, 2022 22:57
@daobrien
Copy link
Collaborator

@daobrien I've adopted "element type" as you suggested.

Also, in this section in general, would it be better to change occurrences of "GUI" to "UI" or to "user interface"?

Yeah, maybe go with the "user interface (UI)" approach, and then use "UI" thereafter?

@julian-cable julian-cable merged commit 1667146 into dev Jan 12, 2022
@julian-cable julian-cable deleted the jcable/309-gui-elements branch January 12, 2022 17:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

GUI Elements change
2 participants