Include option parameters with environments in folding#2107

Closed

gjgress wants to merge 3 commits intolervag:masterfrom

Commits on Jul 13, 2021

Folding labelling modified to include options for environments
Gabriel Gress
committed
Added option variable for more flexibility
Gabriel Gress
committed

Commits on Jul 24, 2021

Reverted to standard options display and added test case
Gabriel Gress
committed