Open alehandrof opened 9 years ago
Good call.
I'm currently on a holiday but should be able to look at this when I return in a week and a bit.
Heh. Thanks for looking into it.
But if you're on holiday you should really not be responding to GitHub issues :)
Is it possible to limit the number of leading zeroes based on the number of pages/entries in the current context? In other words, having only a single leading zero (
01-
) rather than several (0001-
) when there are under 100 pages. (And so on.)It's an aesthetic issue, to be sure. But then, that's why we got in this racket in the first place :)