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

More formatting options #78

Merged
merged 13 commits into from
Feb 1, 2025

Conversation

lu-zero
Copy link
Contributor

@lu-zero lu-zero commented Jan 21, 2025

Here yet another option from #66, I'm not completely happy with it yet though.

@lu-zero lu-zero force-pushed the more_formatting_options branch from 9db0ef7 to 611d680 Compare January 21, 2025 12:42
@shssoichiro
Copy link
Owner

Looks like this could use a rebase after the last merge.

@lu-zero lu-zero force-pushed the more_formatting_options branch 2 times, most recently from dcc2bfc to 7ec2218 Compare January 27, 2025 07:47
@lu-zero
Copy link
Contributor Author

lu-zero commented Jan 27, 2025

Done, right now I'm considering to add an option to always break the lines using joins no matter what.

@lu-zero lu-zero force-pushed the more_formatting_options branch 2 times, most recently from ceeae1e to e96a9b1 Compare January 31, 2025 22:24
@lu-zero
Copy link
Contributor Author

lu-zero commented Jan 31, 2025

Now it fails because of winnow, I guess I should rebase this over #79

@lu-zero lu-zero force-pushed the more_formatting_options branch from e96a9b1 to 4e703f3 Compare January 31, 2025 22:32
@shssoichiro shssoichiro merged commit 31a2dfe into shssoichiro:master Feb 1, 2025
5 checks passed
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.

3 participants