<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">On 04/11/2019 06:06, Remco ViĆ«tor
      wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:1823007.a8DhJOUxcK@manticore"><br>
      <pre class="moz-quote-pre" wrap="">At least from version 6.3 the taglist has an option to show the assigned tags.
Click the icon with a chain (?) on it next to the search box under the tag 
hierarchy, that will show the assigned tags, and non-assigned ancestors of 
assigned tags, and hides all others.

Remco
</pre>
    </blockquote>
    <p>That's exactly what I was looking for. Thanks!</p>
    <p>Dougie<br>
    </p>
  </body>
</html>