That works ... but ... it also means that with the patch line numbers '001' and '1' (and '01') are now the same lines. Not sure if that is a good thing or a bad one
Discuss please.
For those scratching heads (like I did for a minute or two):
l[0] is a string
if that string is all digits we currently save it as a line number. AS A STRING
...
the suggested patch will convert the string (ie, '001') to an integer and convert that back to a string.
This will then convert '001' to '1'.
Nice thing about the patch is that -b will now work with leading zero line numbers and (for neat freaks) you can now have a wack of line numbers like 0001, 0002, etc. all nicely lining up.
Also, I think that I really should initialize gbl.barLabel in the gbl.py file for clarity. Works fine the way it is, but I think it is sloppy on my part. And, then the array gbl.barLabels is a confusing name. For sure I will need to look at this. Note to myself: the only other file using gbl.barLabel is in trigger.py and (need to check) I think this can be done checking the array instead.