Defect #4872
Pound (#) followed by number with leading zero (0) removes leading zero when rendered in wiki
| Status: | Closed | Start date: | 2010-02-18 | |
|---|---|---|---|---|
| Priority: | Low | Due date: | ||
| Assignee: | - | % Done: | 0% |
|
| Category: | Text formatting | |||
| Target version: | 0.9.3 | |||
| Affected version: | Resolution: | Fixed |
Description
A number like this:
#0123456789
is rendered as:
#123456789
literally: #0123456789
I would expect the leading zero preserved, like this:
#0123456789
Even though a leading # is a way to automatically link, we have a usage where it is very convenient to be able to paste content with numbers with leading zeros that are prefixed by a # and that will never clash with issue numbers. I don't see a benefit to removing leading zeros, if they are present.
As a workaround, we can prefix the # with !.
Associated revisions
Fixed: Pound (#) followed by number with leading zero (0) removes leading zero when rendered in wiki (#4872).
History
Updated by Jean-Philippe Lang almost 2 years ago
- Category changed from Wiki to Text formatting
- Status changed from New to Resolved
- Target version set to 0.9.3
- Resolution set to Fixed
Fixed in r3451.
Updated by Jean-Philippe Lang almost 2 years ago
- Status changed from Resolved to Closed
Merged in 0.9-stable in r3463.