Skip to content
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

Add full names and abbreviations to resources #2859

Merged
merged 2 commits into from
Aug 14, 2023
Merged

Conversation

Capkirk123
Copy link
Member

Since you can apparently specify separate abbreviations and display names for resources, give our resources more verbose display names.

Since you can apparently specify separate abbreviations and display names for resources, give our resources more verbose display names.
@github-actions
Copy link

github-actions bot commented Jun 8, 2023

Download the artifacts for this pull request:

@NathanKell
Copy link
Member

Given screen real estate premium, I'm a bit concerned about changing many resources to use two lines in the RF GUI?

@Capkirk123
Copy link
Member Author

Fair enough. Is the RF UI a fixed size? If so, I could try to keep things on one line.

@NathanKell
Copy link
Member

Height scrolls but width is fixed, yeah.

Full names have been trimmed to ensure they fit on a single line, so as to avoid cluttering tank UI
@Capkirk123 Capkirk123 added Ready to Merge? Is this ready to merge? Needs feedback and removed In Progress labels Aug 13, 2023
@Capkirk123
Copy link
Member Author

Names trimmed to fit on one line.

@NathanKell NathanKell merged commit aec53c3 into master Aug 14, 2023
3 checks passed
@siimav siimav deleted the Abbreviations branch August 18, 2023 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Ready to Merge? Is this ready to merge? Needs feedback
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants