新版更新了“数字后标点优化”,如何不启用这个优化?
Open
Nobody has claimed this yet.
- Dominant language
- Swift
- Stars
- 6.4k
- Forks
- 554
- PR merge metrics
- No merged PRs in 30d
Description
在中文输入中,已经习惯数字后跟中文的逗号,新的版本是英文的逗号,而且有个下划线。如何通过punctuator/digit_separators来禁止这个新功能?
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reading the issue discussion and tracing the documented punctuator and digit_separators configuration entry points. Determine whether the new numeric punctuation behavior can be disabled and record the supported configuration, including the expected comma and underscore behavior. Done means a newcomer can follow the documented steps without needing further clarification.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100