[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] Re: org-hide-eading-stars-before-indent-mode
From: |
D |
Subject: |
[PATCH] Re: org-hide-eading-stars-before-indent-mode |
Date: |
Wed, 19 Feb 2020 23:59:37 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 |
Hi!
On 19.02.20 22:42, Bastien wrote:
> IIUC, it would be "and", not "or": first use
>
> (setq-local org-hide-leading-stars (default-value 'org-hide-leading-stars))
>
> to set org-hide-leading-stars to a temporary value *and*
>
> (kill-local-variable 'org-hide-leading-stars)
>
> to restore the global value.
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.
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.
Regards,
D.
0001-org-indent.el-Deprecate-org-hide-leading-stars-befor.patch
Description: Text Data