Hi, D <d.willi...@posteo.net> writes:
> Not quite, both are valid ways to revert hide-leading-stars to it's > original value, with the second (which I picked for the patch) having > the advantage to properly get rid off the buffer-local property again. > The mode itself calls for setting the variable locally to `t' instead of > the original value. Yes, you're right. > I attached the patch, which I hope is the correct format. I'm still a > bit new to this, my apologies if I cause any unnecessary work. It's perfect, applied to master, thanks! -- Bastien