From ec3e394dba7c8e5254eca151945fbce92b2844d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrik=20Mint=C4=9Bl?= <ja@patrick115.eu>
Date: Tue, 26 Nov 2024 21:04:17 +0100
Subject: [PATCH] Add comment

---
 frontend/src/components/Editor.vue | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/frontend/src/components/Editor.vue b/frontend/src/components/Editor.vue
index 8290d165..3b838d86 100644
--- a/frontend/src/components/Editor.vue
+++ b/frontend/src/components/Editor.vue
@@ -1,4 +1,12 @@
 <script setup lang="ts">
+/**
+ * This component is used as Editor for editing file content.
+ * It provides interface for adding Extensions, which
+ * can for example add custom linting or hinting.
+ * Currently it is nowhere available, since integration
+ * would need to rewrite much more components.
+ */
+
 import CodeMirror, { EditorFromTextArea, type EditorConfiguration } from 'codemirror';
 import { ref, watch } from 'vue';
 import { currentTheme, ThemeValue } from '../utilities/storage';