Carsten Dominik <carsten.domi...@gmail.com> writes: > On Thu, Sep 5, 2019, 00:45 David Masterson <dsmaster...@outlook.com> wrote:
>> I see that, for tags picked up via inheritance from parent headlines, >> when the tags are produced in the agenda, the current agenda item will >> have an extra colon after the inherited tags. Is this by design? > Yes, it is by design, for display in the agenda only, to show the > difference between direct and inherited tags. > > Why would. You want to change it? Maybe not. Didn't remember seeing it in the documentation, so, at first, I thought it might be a bug, but it made sense after I thought about it. As to in the agenda only, I could also see this being something that export backend might want access to (if it doen't already have access to it). Other than that, it's good. -- David
