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

Multiple gui improvements #102

Merged
merged 6 commits into from
May 16, 2024
Merged

Multiple gui improvements #102

merged 6 commits into from
May 16, 2024

Conversation

oganm
Copy link
Member

@oganm oganm commented May 15, 2024

Changes requested at #100

@oganm oganm marked this pull request as draft May 15, 2024 23:47
@oganm oganm marked this pull request as ready for review May 16, 2024 01:26
@oganm
Copy link
Member Author

oganm commented May 16, 2024

Currently

  • adds the sample shortname to the header as a link
  • abbreviates description

Will likely handle the curation status in another PR since it needs fiddling with credentials

let words = ds.split(" ")
if(words.length>150){
words = words.slice(0,150)
ds = words.join(" ") + "..."
Copy link
Member

Choose a reason for hiding this comment

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

You can use a Unicode character for the ellipsis.

@oganm oganm force-pushed the multiple-gui-improvements branch from 9144aa5 to 26d9a45 Compare May 16, 2024 03:47
@oganm oganm merged commit 19fe25e into master May 16, 2024
1 check passed
@oganm oganm deleted the multiple-gui-improvements branch May 17, 2024 00:03
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.

2 participants