Add initial Theia AI documentation

fixed #606 Signed-off-by: Jonas Helming <jhelming@eclipsesource.com>
eclipse-theia · Sep 30, 2024 · f08846b · f08846b
1 parent 136bf50
commit f08846b
Show file tree

Hide file tree

Showing 5 changed files with 408 additions and 0 deletions.
diff --git a/src/docs/menu.js b/src/docs/menu.js
@@ -106,6 +106,10 @@ export const MENU = [
         'Preferences',
         'preferences'
     ),
+    M(
+        'Theia AI',
+        'theia_ai'
+    ),
     M(
         'Label Provider',
         'label_provider'