From 6db9bbbd6e085fb0923751e18d7dfbf4d9c60e29 Mon Sep 17 00:00:00 2001 From: Krzysztof G <60067306+gikf@users.noreply.github.com> Date: Tue, 25 Jan 2022 22:57:17 +0100 Subject: [PATCH] fix: include labels in editor tabs buttons (#44918) --- client/src/redux/prop-types.ts | 1 - client/src/templates/Challenges/classic/editor-tabs.tsx | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/client/src/redux/prop-types.ts b/client/src/redux/prop-types.ts index e2fb334068..2a0fbdccf0 100644 --- a/client/src/redux/prop-types.ts +++ b/client/src/redux/prop-types.ts @@ -357,7 +357,6 @@ export type ChallengeFile = { name: string; editableRegionBoundaries: number[]; usesMultifileEditor: boolean; - path: string; error: null | string; head: string; tail: string; diff --git a/client/src/templates/Challenges/classic/editor-tabs.tsx b/client/src/templates/Challenges/classic/editor-tabs.tsx index 577707b53a..637c9e3875 100644 --- a/client/src/templates/Challenges/classic/editor-tabs.tsx +++ b/client/src/templates/Challenges/classic/editor-tabs.tsx @@ -48,7 +48,7 @@ class EditorTabs extends Component { onClick={() => toggleVisibleEditor(challengeFile.fileKey)} role='tab' > - {challengeFile.path} + {`${challengeFile.name}.${challengeFile.ext}`} ) )}