From 087f6b83f633d808b9803a4c389b72c8f076087c Mon Sep 17 00:00:00 2001 From: Marieke Date: Tue, 21 May 2024 19:57:41 +0200 Subject: [PATCH] format --- frontend/src/views/ProjectView.vue | 9 +++-- frontend/src/views/SubmissionsTeacherView.vue | 36 ++++++++++++------- 2 files changed, 31 insertions(+), 14 deletions(-) diff --git a/frontend/src/views/ProjectView.vue b/frontend/src/views/ProjectView.vue index ff07a905..5d8a9d84 100644 --- a/frontend/src/views/ProjectView.vue +++ b/frontend/src/views/ProjectView.vue @@ -14,7 +14,12 @@ :subject="subject!" :user="user!" /> - + {{ $t("project.submissions_list_teacher") }} @@ -108,6 +113,6 @@ const isTeacher = computed( .allsubmissions { margin: 15px; background-color: rgb(var(--v-theme-primary)); - color: rgb(var(--v-theme-navtext)) + color: rgb(var(--v-theme-navtext)); } diff --git a/frontend/src/views/SubmissionsTeacherView.vue b/frontend/src/views/SubmissionsTeacherView.vue index 24f66302..b527bf57 100644 --- a/frontend/src/views/SubmissionsTeacherView.vue +++ b/frontend/src/views/SubmissionsTeacherView.vue @@ -3,12 +3,26 @@ - - {{ $t("submission.submissions_title", { project: project.name }) }} - {{ $t("submission.no_submissions") }} + + {{ + $t("submission.submissions_title", { project: project.name }) + }} + {{ + $t("submission.no_submissions") + }}
- {{ $t("submission.teacher_submissions_info") }} - + {{ + $t("submission.teacher_submissions_info") + }} + {{ $t("project.submissions_zip") }}
@@ -22,10 +36,7 @@
- +
@@ -36,7 +47,7 @@ import { useProjectQuery } from "@/queries/Project"; import { useProjectSubmissionsQuery } from "@/queries/Submission"; import { toRefs } from "vue"; import SubmissionTeacherCard from "@/components/submission/SubmissionTeacherCard.vue"; -import BackButton from "@/components/buttons/BackButton.vue" +import BackButton from "@/components/buttons/BackButton.vue"; import { download_file } from "@/utils"; const props = defineProps<{ @@ -72,11 +83,12 @@ const downloadAll = () => { padding: 15px; } -.title, .subtitle{ +.title, +.subtitle { width: 100%; } -.backbutton{ +.backbutton { margin-top: 30px; }