Remove ID from navigator component

Author: XanderVertegaal

frontend/src/app/annotate/navigator/navigator.component.html

@@ -23,13 +23,9 @@
             <span i18n>Previous</span>
         </button>
 
-        <div class="problem-info d-flex flex-column align-items-center px-3">
-            <span
-                >{{ problem?.id }} of
-                {{ proofBankStats?.totalProblems }}</span
-            >
-            <span class="badge bg-secondary mt-1" i18n>
-                {{ problem && getProblemLabel(problem) }}
+        <div class="px-3">
+            <span i18n>
+                {{ problem?.id }} of {{ proofBankStats?.totalProblems }}
             </span>
         </div>
 

frontend/src/app/annotate/navigator/navigator.component.ts

@@ -60,15 +60,4 @@ export class NavigatorComponent {
         }
         this.router.navigate(["/annotate", id]);
     }
-
-    public getProblemLabel(problem: ProblemResponse): string {
-        const type = problem.type;
-        let id: string | null = null;
-        if (type === 'sick') {
-            id = problem.problem?.pairId?.toString() ?? null;
-        } else if (type === 'fracas') {
-            id = problem.problem?.fracasId?.toString() ?? null;
-        }
-        return id ? `${type}-${id}` : type;
-    }
 }