With help from @codebrainz and @elextr I was able to get a working PR to change the width of the folding margin, in the queue for review.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.