Skip to content

Conversation

@tjallingt
Copy link
Contributor

See rust-lang/rust#117433 (comment)

I think this could be improved to split on ":" instead and to trim the param to get rid of whitespace.
I'm not 100% confident that would work exactly as intended though, therefore this PR makes the minimal change.

@manuelcillero manuelcillero merged commit 8bcb5af into manuelcillero:main Nov 13, 2023
@manuelcillero
Copy link
Owner

I guess the change makes sense when the 'args' vector identifier doesn't have a space just before the colon. This is not currently the case, but it looks like it could change. The code has been merged. I'm excited because this is PageTop's first pull request. Thank you for the contribution!

@tjallingt tjallingt deleted the patch-1 branch November 13, 2023 19:45
manuelcillero added a commit that referenced this pull request Dec 21, 2025
manuelcillero added a commit that referenced this pull request Dec 21, 2025
manuelcillero added a commit that referenced this pull request Dec 21, 2025
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