@lvce-editor/server 0.10.4 → 0.10.6

package/static/{a06e404 → 7860a11}/packages/renderer-process/dist/rendererProcessMain.js

@@ -561,7 +561,7 @@ var init_Platform = __esm({
     state4 = {
       getAssetDir() {
         if (true) {
-          return "/a06e404";
+          return "/7860a11";
         }
         if (platform === "electron") {
           return "../../../../..";
@@ -3832,9 +3832,8 @@ var init_ViewletExplorer = __esm({
     focusClassName = "FocusOutline";
     create8 = () => {
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
+      $Viewlet.className = "Viewlet Explorer";
       $Viewlet.tabIndex = 0;
-      $Viewlet.dataset.viewletId = "Explorer";
       $Viewlet.role = "tree";
       $Viewlet.ariaLabel = "Files Explorer";
       $Viewlet.onmousedown = handleMouseDown2;
@@ -3975,21 +3974,21 @@ var init_ViewletExplorer = __esm({
           if (focused) {
             $Viewlet.classList.add(focusClassName);
             $Viewlet.removeAttribute("aria-activedescendant");
-            $Viewlet.focus();
-            setFocus("Explorer");
           }
           break;
         default:
           const $Dirent = $Viewlet.children[newIndex];
           $Dirent.id = activeId;
-          $Viewlet.focus();
           $Viewlet.setAttribute("aria-activedescendant", activeId);
           if (focused) {
             $Dirent.classList.add(focusClassName);
           }
-          setFocus("Explorer");
           break;
       }
+      if (focused) {
+        $Viewlet.focus();
+        setFocus("Explorer");
+      }
     };
     dispose4 = (state14) => {
     };
@@ -4085,8 +4084,7 @@ var init_ViewletRunAndDebug = __esm({
     };
     create9 = () => {
       const $Viewlet = document.createElement("div");
-      $Viewlet.dataset.viewletId = "RunAndDebug";
-      $Viewlet.className = "Viewlet";
+      $Viewlet.className = "Viewlet RunAndDebug";
       $Viewlet.textContent = "run and debug";
       $Viewlet.tabIndex = 0;
       $Viewlet.addEventListener("mousedown", handleMousedown);
@@ -4220,8 +4218,7 @@ var init_ViewletSearch = __esm({
       $SearchResults.onmousedown = handleClick;
       $SearchResults.oncontextmenu = handleContextMenu3;
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "Search";
+      $Viewlet.className = "Viewlet Search";
       $Viewlet.append($SearchHeader, $SearchResults);
       return {
         $Viewlet,
@@ -4388,8 +4385,7 @@ var init_ViewletSourceControl = __esm({
       $ViewletTree.className = "ViewletTree";
       $ViewletTree.onclick = handleClick2;
       const $Viewlet = document.createElement("div");
-      $Viewlet.dataset.viewletId = "SourceControl";
-      $Viewlet.className = "Viewlet";
+      $Viewlet.className = "Viewlet SourceControl";
       $Viewlet.tabIndex = 0;
       $Viewlet.append($ViewSourceControlInput, $ViewletTree);
       return {
@@ -5995,8 +5991,7 @@ var init_ViewletTerminal = __esm({
     };
     create13 = (id) => {
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "Terminal";
+      $Viewlet.className = "Viewlet Terminal";
       const terminal = create12({
         $Element: $Viewlet,
         handleInput: handleInput2
@@ -6333,8 +6328,7 @@ var init_ViewletExtensions = __esm({
       $ExtensionListWrapper.className = "ExtensionListWrapper";
       $ExtensionListWrapper.append($ExtensionList, $ScrollBar);
       const $Viewlet = document.createElement("div");
-      $Viewlet.dataset.viewletId = "Extensions";
-      $Viewlet.className = "Viewlet";
+      $Viewlet.className = "Viewlet Extensions";
       $Viewlet.ariaBusy = "true";
       $Viewlet.ariaLive = "polite";
       $Viewlet.role = "none";
@@ -6552,8 +6546,7 @@ var init_ViewletDebugConsole = __esm({
     create15 = () => {
       const $Input = document.createElement("input");
       const $Viewlet = document.createElement("div");
-      $Viewlet.dataset.viewletId = "DebugConsole";
-      $Viewlet.className = "Viewlet";
+      $Viewlet.className = "Viewlet DebugConsole";
       $Viewlet.textContent = "Debug Console";
       $Viewlet.append($Input);
       return {
@@ -6634,8 +6627,7 @@ var init_ViewletOutput = __esm({
       const $ViewletOutputWidgets = document.createElement("div");
       $ViewletOutputWidgets.className = "OutputWidgets";
       const $Viewlet = document.createElement("div");
-      $Viewlet.dataset.viewletId = "Output";
-      $Viewlet.className = "Viewlet ViewletOutput";
+      $Viewlet.className = "Viewlet Output";
       $Viewlet.tabIndex = 0;
       $Viewlet.append(
         $ViewletOutputSelect,
@@ -6718,8 +6710,7 @@ var init_ViewletProblems = __esm({
     name9 = "Problems";
     create17 = (problemsCount) => {
       const $Viewlet = document.createElement("div");
-      $Viewlet.dataset.viewletId = "Problems";
-      $Viewlet.className = "Viewlet";
+      $Viewlet.className = "Viewlet Problems";
       $Viewlet.tabIndex = 0;
       $Viewlet.onmousedown = handleMouseDown3;
       return {
@@ -6923,8 +6914,7 @@ var init_ViewletEditorImage = __esm({
       $ImageWrapper.className = "ImageWrapper";
       $ImageWrapper.append($Image);
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "EditorImage";
+      $Viewlet.className = "Viewlet EditorImage";
       $Viewlet.append($ImageWrapper);
       $Viewlet.onpointerdown = handlePointerDown2;
       $Viewlet.onpointerup = handlePointerUp;
@@ -6952,7 +6942,6 @@ var init_ViewletEditorImage = __esm({
       $Image.src = src;
     };
     setDragging = (state14, isDragging) => {
-      console.log("set dragging", isDragging);
       const { $Viewlet } = state14;
       $Viewlet.classList.toggle("Dragging", isDragging);
     };
@@ -6978,8 +6967,7 @@ var init_ViewletClock = __esm({
     name12 = "Clock";
     create22 = () => {
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = name12;
+      $Viewlet.className = "Viewlet Clock";
       return {
         $Viewlet
       };
@@ -7020,7 +7008,7 @@ var init_ViewletSideBar = __esm({
       $SideBarTitleArea.append($SideBarTitleAreaTitle, $SideBarTitleAreaButtons);
       const $Viewlet = document.createElement("div");
       $Viewlet.id = "SideBar";
-      $Viewlet.className = "Viewlet";
+      $Viewlet.className = "Viewlet SideBar";
       $Viewlet.role = "complementary";
       $Viewlet.ariaRoleDescription = "Side Bar";
       $Viewlet.append($SideBarTitleArea);
@@ -7120,8 +7108,7 @@ var init_ViewletPanel = __esm({
       $PanelHeader.append($PanelTabs);
       const $Viewlet = document.createElement("div");
       $Viewlet.id = "Panel";
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "Panel";
+      $Viewlet.className = "Viewlet Panel";
       $Viewlet.append($PanelHeader);
       $Viewlet.ariaLabel = "Panel";
       return {
@@ -7292,7 +7279,6 @@ var init_ViewletActivityBar = __esm({
       $ActivityBarItem.className = "ActivityBarItem";
       $ActivityBarItem.ariaLabel = "";
       $ActivityBarItem.title = item.title;
-      $ActivityBarItem.dataset.viewletId = item.id;
       if (item.keyShortcuts) {
         $ActivityBarItem.ariaKeyShortcuts = item.keyShortcuts;
       }
@@ -7316,8 +7302,7 @@ var init_ViewletActivityBar = __esm({
     create25 = () => {
       const $Viewlet = document.createElement("div");
       $Viewlet.id = "ActivityBar";
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "ActivityBar";
+      $Viewlet.className = "Viewlet ActivityBar";
       $Viewlet.role = "toolbar";
       $Viewlet.ariaRoleDescription = "Activity Bar";
       $Viewlet.ariaOrientation = "vertical";
@@ -7733,8 +7718,7 @@ var init_ViewletStatusBar = __esm({
       $StatusBarItemsRight.id = "StatusBarItemsRight";
       const $Viewlet = document.createElement("div");
       $Viewlet.id = "StatusBar";
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "StatusBar";
+      $Viewlet.className = "Viewlet StatusBar";
       $Viewlet.onclick = handleClick3;
       $Viewlet.tabIndex = 0;
       $Viewlet.role = "status";
@@ -7780,8 +7764,7 @@ var init_ViewletTitleBar = __esm({
     create28 = () => {
       const $Viewlet = document.createElement("div");
       $Viewlet.id = "TitleBar";
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "TitleBar";
+      $Viewlet.className = "Viewlet TitleBar";
       $Viewlet.ariaLabel = "Title Bar";
       $Viewlet.role = "contentinfo";
       return {
@@ -8022,9 +8005,10 @@ __export(ViewletMain_exports, {
   openAnotherTab: () => openAnotherTab,
   openEditor: () => openEditor,
   openViewlet: () => openViewlet,
-  replaceEditor: () => replaceEditor
+  replaceEditor: () => replaceEditor,
+  updateTab: () => updateTab
 });
-var create$MainTabs, create31, dispose19, replaceEditor, addEditor, openEditor, closeAllViewlets, closeViewletAndTab, focus17, openViewlet, create$MainContent, appendViewlet3, openAnotherTab, closeOneTab, closeOneTabOnly, focusAnotherTab, closeOthers, closeTabsRight, closeTabsLeft;
+var create$MainTabs, create31, dispose19, replaceEditor, addEditor, openEditor, closeAllViewlets, closeViewletAndTab, focus17, openViewlet, create$MainContent, appendViewlet3, openAnotherTab, closeOneTab, closeOneTabOnly, focusAnotherTab, closeOthers, closeTabsRight, closeTabsLeft, updateTab;
 var init_ViewletMain = __esm({
   "src/parts/ViewletMain/ViewletMain.js"() {
     "use strict";
@@ -8041,10 +8025,10 @@ var init_ViewletMain = __esm({
     create31 = () => {
       const $Viewlet = document.createElement("div");
       $Viewlet.id = "Main";
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "Main";
+      $Viewlet.className = "Viewlet Main";
       $Viewlet.ondrop = handleDrop2;
       $Viewlet.ondragover = handleDragOver2;
+      $Viewlet.role = "main";
       return {
         $Viewlet,
         $Main: $Viewlet,
@@ -8093,17 +8077,19 @@ var init_ViewletMain = __esm({
       console.log("todo focus main");
     };
     openViewlet = (state14, tabLabel, tabTitle, oldActiveIndex) => {
-      const $Tab = document.createElement("div");
-      $Tab.className = "MainTab";
-      $Tab.textContent = tabLabel;
-      $Tab.title = tabTitle;
-      $Tab.ariaSelected = "true";
-      $Tab.role = "tab";
+      const $TabLabel = document.createElement("div");
+      $TabLabel.className = "Label";
+      $TabLabel.textContent = tabLabel;
       const $TabCloseButton = document.createElement("button");
       $TabCloseButton.className = "EditorTabCloseButton";
       $TabCloseButton.ariaLabel = "Close";
       $TabCloseButton.title = "";
-      $Tab.append($TabCloseButton);
+      const $Tab = document.createElement("div");
+      $Tab.title = tabTitle;
+      $Tab.ariaSelected = "true";
+      $Tab.role = "tab";
+      $Tab.className = "MainTab";
+      $Tab.append($TabLabel, $TabCloseButton);
       if (oldActiveIndex !== -1 && state14.$MainTabs) {
         const $OldTab = state14.$MainTabs.children[oldActiveIndex];
         if ($OldTab) {
@@ -8139,10 +8125,12 @@ var init_ViewletMain = __esm({
       $Tab.ariaSelected = "true";
       $Tab.role = "tab";
       $Tab.tabIndex = 0;
+      const $TabLabel = document.createElement("div");
+      $TabLabel.className = "Label";
       const $TabCloseButton = document.createElement("button");
       $TabCloseButton.className = "EditorTabCloseButton";
       $TabCloseButton.ariaLabel = "Close";
-      $Tab.append($TabCloseButton);
+      $Tab.append($TabLabel, $TabCloseButton);
       state14.$MainTabs.children[unFocusIndex].ariaSelected = "false";
       state14.$MainTabs.append($Tab);
     };
@@ -8186,6 +8174,12 @@ var init_ViewletMain = __esm({
       $Tab.ariaSelected = "true";
       $Tab.tabIndex = 0;
     };
+    updateTab = (state14, index, text2) => {
+      const { $MainTabs } = state14;
+      const $Tab = $MainTabs.children[index];
+      const $TabLabel = $Tab.firstChild;
+      $TabLabel.textContent = text2;
+    };
   }
 });
 
@@ -8277,8 +8271,7 @@ var init_ViewletEditorCompletion = __esm({
     };
     create32 = () => {
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = name14;
+      $Viewlet.className = "Viewlet EditorCompletion";
       $Viewlet.id = "Completions";
       $Viewlet.role = "listbox";
       $Viewlet.ariaLabel = "Suggest";
@@ -8388,8 +8381,7 @@ var init_ViewletLocations = __esm({
       $Locations.onmousedown = handleLocationsMouseDown;
       $Locations.setAttribute("aria-described-by", "LocationsMessage");
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "Locations";
+      $Viewlet.className = "Viewlet Locations";
       $Viewlet.append($Message, $Locations);
       return {
         $Viewlet,
@@ -8530,8 +8522,7 @@ var init_ViewletEditorPlainText = __esm({
     name17 = "EditorPlainText";
     create34 = () => {
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "EditorText";
+      $Viewlet.className = "Viewlet EditorText";
       $Viewlet.textContent = "loading...";
       return {
         $Viewlet
@@ -8777,8 +8768,7 @@ var init_ViewletKeyBindings = __esm({
       );
       $KeyBindingsTableWrapper.onclick = handleTableClick;
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "KeyBindings";
+      $Viewlet.className = "Viewlet KeyBindings";
       $Viewlet.append($KeyBindingsHeader, $KeyBindingsTableWrapper);
       return {
         $Viewlet,
@@ -8908,8 +8898,7 @@ var init_ViewletEditorFindWidget = __esm({
       const $ButtonClose = create$Button(UiStrings.Close, Close);
       const $Viewlet = document.createElement("div");
       $Viewlet.onclick = handleClick4;
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "EditorFindWidget";
+      $Viewlet.className = "Viewlet EditorFindWidget";
       $Viewlet.role = "group";
       $Viewlet.append(
         $InputBox,
@@ -9012,8 +9001,7 @@ var init_ViewletExtensionDetail = __esm({
       $ExtensionDetailMain.className = "ExtensionDetailMain";
       $ExtensionDetailMain.append($ExtensionDetailHeader, $ReadmeHtml);
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "ExtensionDetail";
+      $Viewlet.className = "Viewlet ExtensionDetail";
       $Viewlet.append($ExtensionDetailMain);
       return {
         $Viewlet,
@@ -9553,8 +9541,8 @@ var init_ViewletLayout = __esm({
       $SashPanel.ondblclick = handleSashDoubleClick;
       const $Viewlet = document.createElement("div");
       $Viewlet.id = "Workbench";
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "Layout";
+      $Viewlet.className = "Viewlet Layout";
+      $Viewlet.role = "application";
       $Viewlet.append($SashSideBar, $SashPanel);
       window.addEventListener("resize", handleResize);
       return {
@@ -9650,8 +9638,7 @@ var init_ViewletSimpleBrowser = __esm({
         $InputBox
       );
       const $Viewlet = document.createElement("div");
-      $Viewlet.className = "Viewlet";
-      $Viewlet.dataset.viewletId = "SimpleBrowser";
+      $Viewlet.className = "Viewlet SimpleBrowser";
       $Viewlet.append($SimpleBrowserHeader);
       return {
         $Viewlet,
@@ -9822,8 +9809,7 @@ var init_Viewlet = __esm({
     };
     createPlaceholder = (viewletId, parentId, top, left, width, height) => {
       const $PlaceHolder = document.createElement("div");
-      $PlaceHolder.className = "Viewlet";
-      $PlaceHolder.dataset.viewletId = viewletId;
+      $PlaceHolder.className = `Viewlet ${viewletId}`;
       $PlaceHolder.style.top = `${top}px`;
       $PlaceHolder.style.left = `${left}px`;
       $PlaceHolder.style.width = `${width}px`;
@@ -9859,6 +9845,8 @@ var init_Viewlet = __esm({
           handleError7(viewletId, method, ...args);
         } else if (_ === "Viewlet.focus") {
           focus21(viewletId);
+        } else if (_ === "Viewlet.appendViewlet") {
+          appendViewlet4(viewletId, method, ...args);
         } else {
           invoke(viewletId, method, ...args);
         }
@@ -9985,6 +9973,8 @@ var init_Viewlet = __esm({
           return createPlaceholder;
         case "Viewlet.focus":
           return focus21;
+        case "Viewlet.appendViewlet":
+          return appendViewlet4;
         default:
           throw new Error(`unknown command ${command}`);
       }
@@ -11498,7 +11488,6 @@ var init_Editor = __esm({
       );
       const $Editor = document.createElement("div");
       $Editor.className = "Viewlet Editor";
-      $Editor.dataset.viewletId = "EditorText";
       $Editor.role = "code";
       $Editor.append($EditorInput, $EditorLayers, $ScrollBarDiagnostics, $ScrollBar);
       $Editor.addEventListener("contextmenu", handleContextMenu7);