From 9faab147a7dcd523ab200f023c5665568f2f975e Mon Sep 17 00:00:00 2001 From: Julien Vignoud Date: Fri, 3 May 2024 14:30:20 +0200 Subject: [PATCH 01/37] Remove list filters in the predefined tasks web-client page --- .../src/task/display_information.ts | 6 +- web-client/src/components/pages/TaskList.vue | 143 ++---------------- .../src/components/training/Trainer.vue | 17 +-- 3 files changed, 18 insertions(+), 148 deletions(-) diff --git a/discojs/discojs-core/src/task/display_information.ts b/discojs/discojs-core/src/task/display_information.ts index f8daa730c..fe154e568 100644 --- a/discojs/discojs-core/src/task/display_information.ts +++ b/discojs/discojs-core/src/task/display_information.ts @@ -3,8 +3,8 @@ import { type DataExample, isDataExample } from './data_example.js' import { type LabelType, isLabelType } from './label_type.js' export interface DisplayInformation { - taskTitle?: string - summary?: Summary + taskTitle: string + summary: Summary tradeoffs?: string dataFormatInformation?: string // TODO merge dataExample @@ -51,7 +51,7 @@ export function isDisplayInformation (raw: unknown): raw is DisplayInformation { return false } - if (summary !== undefined && !isSummary(summary)) { + if (!isSummary(summary)) { return false } diff --git a/web-client/src/components/pages/TaskList.vue b/web-client/src/components/pages/TaskList.vue index fe0630cc5..1d0a28ceb 100644 --- a/web-client/src/components/pages/TaskList.vue +++ b/web-client/src/components/pages/TaskList.vue @@ -1,73 +1,14 @@