Reduce noise in regenerating HTML - Githubissues

justinmeiners / srcweave

A literate programming system for any language.

https://www.jmeiners.com/literate-programming/

GNU General Public License v2.0

85 stars 4 forks source link

Reduce noise in regenerating HTML #13

Closed justinmeiners closed 2 years ago

justinmeiners commented 2 years ago

using something other than line number to generate block ids
option for removing line numbers from tool tips, or tooltips entirely.