Re: [O] Remove redundant tags of headlines

[Bastien]

Hi Sébastien,

Sebastien Vauban <sva-news-D0wtAvR13HarG/address@hidden>
writes:

> ** TODO Project A                                       :FLAGGED:
> *** TODO Task 1                                         :FLAGGED:
>
> Of course, "FLAGGED" is present in the headline but, at the same time,
> it is inherited.

It means Org favors explicit tags over inherited ones when presenting
them through `org-entry-get'.

> IIUC, the goal of the function written by David was to remove redundant
> tags. In the above case, "FLAGGED" should be removed from "Task 1"
> because it is superfluous (redundant with its parent entry).

Can you find when David's function was still functional for you?

> I'd think that asking for all tags of "Task 1" should output both
> a local "FLAGGED" tag and an inherited "FLAGGED" one.

Well, ALLTAGS means all distinct tags for me, and I don't see how
outputting all duplicate tags would be useful.  You'll have to find
another use-case than just David's function to convince me :)

-- 
 Bastien