GNU source-highlight - Patches: patch #10293, Replace line number padding char...
You are not allowed to post comments on this tracker with your current authentication level.
patch #10293: Replace line number padding char with string
Submitter: | lumidify <lumidify> | ||
Submitted: | Mon 14 Nov 2022 06:18:27 PM UTC | ||
Category: | None | Priority: | 5 - Normal |
Status: | None | Privacy: | Public |
Assigned to: | None | Open/Closed: | Open |
Attached Files
file #53954: 0001-Replace-line-number-padding-char-with-string.patch added by lumidify (4KiB - text/x-patch)
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2022-11-14 | lumidify | Attached File | - | ![]() |
Added 0001-Replace-line-number-padding-char-with-string.patch, #53954 |
When generating LaTeX code with ' ' (space) as the padding character for line numbers, the spaces are collapsed by LaTeX since they are not escaped. Using '\ ' (or, rather, '\\ ' when first interpreted by the shell) as the padding character doesn't work currently because only a single character is allowed. Since I couldn't find any other way to achieve what I wanted, I wrote a small patch which allows any string that is then simply repeated as many times as the padding character would usually have been added. C++ may very well offer a more convenient way to do this, but I couldn't find any, so this patch just uses the naive implementation.