patchGNU 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

Mon 14 Nov 2022 06:18:27 PM UTC, original submission:  

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.

lumidify <lumidify>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by lumidify (Submitted the item)
  •  

    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

    Back to the top

    Powered by Savane 3.13-d3ae.
    Corresponding source code