#727 Auto-folding Options

v1.25
open
nobody
5
2014-06-18
2014-06-18
No

I think it would be helpful if the options had an setting for applying folding when the document is opened rather than doing it manually (Document -> Fold All) everytime I open a document. Also, making a similar option to auto fold all items in the "Symbols" tab would also be helpful.

Discussion