-
+
);
diff --git a/src/pages/de/playground.astro b/src/pages/de/playground.astro
index 47daa84..91b0374 100644
--- a/src/pages/de/playground.astro
+++ b/src/pages/de/playground.astro
@@ -30,6 +30,12 @@ const lang: PlaygroundLang = {
cancel: "Abbrechen",
}
},
+ errorDisplay: {
+ title: "Fehler beim kompilieren!",
+ buttons: {
+ close: "Schließen",
+ },
+ }
};
---
diff --git a/src/pages/playground.astro b/src/pages/playground.astro
index fc8b8f7..7cb2db9 100644
--- a/src/pages/playground.astro
+++ b/src/pages/playground.astro
@@ -19,16 +19,24 @@ const lang: PlaygroundLang = {
add: "Add file",
addPrompt: {
label: "File path",
- message: "Enter the path you want the new file to be created at."
+ message:
+ "Enter the path you want the new file to be created at.",
},
delete: "Delete",
rename: "Rename",
renamePrompt: {
label: "New file path",
- message: "Enter the path you want the file to be renamed/moved to."
+ message:
+ "Enter the path you want the file to be renamed/moved to.",
},
cancel: "Cancel",
- }
+ },
+ },
+ errorDisplay: {
+ title: "Error during compilation!",
+ buttons: {
+ close: "Close",
+ },
},
};
---
@@ -41,4 +49,4 @@ const lang: PlaygroundLang = {
.pagination-links {
display: none;
}
-
\ No newline at end of file
+
diff --git a/src/utils/playground.ts b/src/utils/playground.ts
index 72cf775..26a07dc 100644
--- a/src/utils/playground.ts
+++ b/src/utils/playground.ts
@@ -1,6 +1,7 @@
export type PlaygroundLang = {
header: PlaygroundHeaderLang;
explorer: PlaygroundExplorerLang;
+ errorDisplay: PlaygroundErrorDisplayLang;
};
export type PlaygroundHeaderLang = {
@@ -29,6 +30,12 @@ export type PlaygroundExplorerLang = {
cancel: string;
}
};
+export type PlaygroundErrorDisplayLang = {
+ title: string;
+ buttons: {
+ close: string;
+ }
+}
export type File = {
language?: string;