enhance(punctuator): commit on space after digit separators#980
Merged
Conversation
ksqsf
force-pushed
the
space-after-digit-separators
branch
from
e893d49 to
5ff3f83
Compare
Member
Author
|
不过合并该 PR 的话就意味着刚刚习惯 1.13 新行为的用户又要改习惯了😄 （但我个人赞成本 PR 的行为，之前群里讨论时里提到过这个。） |
ksqsf
force-pushed
the
space-after-digit-separators
branch
from
5ff3f83 to
be20eea
Compare
ksqsf
force-pushed
the
space-after-digit-separators
branch
from
be20eea to
69f0d6e
Compare
Closed
lotem
approved these changes
Feb 15, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Follow-up #973
Fix #972 (comment)
在数字分隔符后按空格，直接输出半角符号 和一个空格 ，从而保持旧版行为。