From 3e0ac37cf015b71e48c51021d3d3e4b9045d5a2b Mon Sep 17 00:00:00 2001
From: ge54hev <m.oubounyt@tum.de>
Date: Thu, 9 Apr 2020 17:23:32 +0200
Subject: [PATCH] task count
---
src/app/pages/explorer-page/explorer-page.component.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/app/pages/explorer-page/explorer-page.component.html b/src/app/pages/explorer-page/explorer-page.component.html
index f9a377cc..ff1b6c20 100644
--- a/src/app/pages/explorer-page/explorer-page.component.html
+++ b/src/app/pages/explorer-page/explorer-page.component.html
@@ -382,7 +382,7 @@
<p class="card-header-title">
<span class="icon">
<i class="fas fa-filter" aria-hidden="true"></i>
- </span> Tasks
+ </span> Tasks ({{analysis.tokens.length}})
</p>
<a (click)="collapseTask = !collapseTask" data-action="collapse" class="card-header-icon is-hidden-fullscreen"
aria-label="more options">
--
GitLab