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

Remove incorrect line breaks in the output of StringFormatted #4794

Merged
merged 1 commit into from
Mar 17, 2022

Conversation

ChrisJefferson
Copy link
Contributor

StringFormatted delegates to PrintToFormatted, but this means long lines get GAP's automatic line wrapping, so disable that.

@wilfwilson wilfwilson added gapdays2022-winter Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2022-winter topic: library labels Feb 24, 2022
@wilfwilson wilfwilson linked an issue Feb 24, 2022 that may be closed by this pull request
@wilfwilson
Copy link
Member

@ChrisJefferson As far as you are concerned, does this resolve all of the issues mentioned in #4603? (Are far as I can tell, it does).

@ChrisJefferson
Copy link
Contributor Author

It fixes the issue of wrapping \n, it doesn't fix the problem with eating line break hints

@wilfwilson
Copy link
Member

wilfwilson commented Feb 24, 2022

Your PR seems to keep the line break hints for me! i.e. #4603 (comment)

gap> StringFormatted("\>1\<");
"\>1\<"

Is this just a coincidence?

@ChrisJefferson
Copy link
Contributor Author

No, you are right, I was just in the wrong branch!

@ChrisJefferson
Copy link
Contributor Author

added a test, so now preserving \< and \> is intentional behaviour :)

@fingolfin
Copy link
Member

Please either edit the PR description to something suitable for the release notes, or mark it as not needing a release notes entry

@ChrisJefferson ChrisJefferson changed the title Disable line wrapping in StringFormatted Bug Fix: Remove incorrect line breaks in the output of StringFormatted Feb 25, 2022
@ChrisJefferson
Copy link
Contributor Author

ChrisJefferson commented Feb 25, 2022

(hopefully useful) release note title

@wilfwilson wilfwilson changed the title Bug Fix: Remove incorrect line breaks in the output of StringFormatted Bug Fix: Remove incorrect line breaks in the output of StringFormatted Feb 25, 2022
@wilfwilson wilfwilson added the release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes label Feb 25, 2022
@wilfwilson wilfwilson added the kind: bug Issues describing general bugs, and PRs fixing them label Mar 17, 2022
@wilfwilson wilfwilson changed the title Bug Fix: Remove incorrect line breaks in the output of StringFormatted Remove incorrect line breaks in the output of StringFormatted Mar 17, 2022
@wilfwilson wilfwilson merged commit d8172e2 into gap-system:master Mar 17, 2022
@ChrisJefferson ChrisJefferson deleted the string-formatted branch April 1, 2022 08:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
gapdays2022-winter Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2022-winter kind: bug Issues describing general bugs, and PRs fixing them release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: library
Projects
None yet
Development

Successfully merging this pull request may close these issues.

StringFormatted and formatting
3 participants