Re: [PATCH] Re: org-hide-eading-stars-before-indent-mode

2020-02-19 Thread Bastien
Hi, D 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' ins

[PATCH] Re: org-hide-eading-stars-before-indent-mode

2020-02-19 Thread D
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