Add initial Theia AI documentation (#607)

* Add initial Theia AI documentation fixed #606 Signed-off-by: Jonas Helming <[email protected]>
eclipse-theia · Sep 30, 2024 · 53f0d5b · 53f0d5b
1 parent 136bf50
commit 53f0d5b
Show file tree

Hide file tree

Showing 5 changed files with 397 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'