6c52d3e Add UI option to hide the fold margin, while keeping code folding
2433884 Automatically unfold all code when folding is switched off in preferences
— You are receiving this because you are subscribed to this thread. View it on GitHub or unsubscribe. Triage notifications on the go with GitHub Mobile for iOS or Android.