Folding margin

The folding margin displays the folding symbols that are used for folding and unfolding lines:

[Under construction]