| Fri, 11 May 2012 13:10:19 +0200 | gibus | Hides button if table of contents is empty. | file | diff | annotate |
| Fri, 11 May 2012 12:00:40 +0200 | gibus | Adds a table of content. | file | diff | annotate |
| Wed, 25 Apr 2012 09:15:23 +0200 | gibus | Fix mismatching filter with tag. | file | diff | annotate |