@lvce-editor/panel-worker 2.14.1 → 2.14.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/panelWorkerMain.js +9 -3
- package/package.json +1 -1
package/dist/panelWorkerMain.js
CHANGED
|
@@ -1177,6 +1177,8 @@ const None = 0;
|
|
|
1177
1177
|
const Checked = 2;
|
|
1178
1178
|
const Unchecked = 3;
|
|
1179
1179
|
|
|
1180
|
+
const Web = 1;
|
|
1181
|
+
|
|
1180
1182
|
const RendererProcess = 1670;
|
|
1181
1183
|
const RendererWorker = 1;
|
|
1182
1184
|
|
|
@@ -1744,8 +1746,11 @@ const handleFilterInput = async (state, value) => {
|
|
|
1744
1746
|
const remoteSshWorkspacePrefix = 'remote-ssh://';
|
|
1745
1747
|
const devContainerWorkspacePrefix = 'devcontainers:///';
|
|
1746
1748
|
const codespacesWorkspacePrefix = 'codespaces://';
|
|
1747
|
-
const getPanelViews = (workspaceUri = '') => {
|
|
1749
|
+
const getPanelViews = (workspaceUri = '', platform = 0) => {
|
|
1748
1750
|
const views = [Problems, Output, DebugConsole, Terminals];
|
|
1751
|
+
if (platform === Web) {
|
|
1752
|
+
views.splice(views.indexOf(Terminals), 1);
|
|
1753
|
+
}
|
|
1749
1754
|
if (workspaceUri.startsWith(remoteSshWorkspacePrefix) || workspaceUri.startsWith(devContainerWorkspacePrefix) || workspaceUri.startsWith(codespacesWorkspacePrefix)) {
|
|
1750
1755
|
views.push(Ports);
|
|
1751
1756
|
}
|
|
@@ -1845,10 +1850,11 @@ const openViewlet = async (state, id, focus = false, uri = '') => {
|
|
|
1845
1850
|
const loadContent = (state, savedState, workspaceUri = '') => {
|
|
1846
1851
|
const {
|
|
1847
1852
|
currentViewletId: activeViewletId,
|
|
1848
|
-
hiddenViews: activeHiddenViews
|
|
1853
|
+
hiddenViews: activeHiddenViews,
|
|
1854
|
+
platform
|
|
1849
1855
|
} = state;
|
|
1850
1856
|
const savedViewletId = savedState?.currentViewletId || activeViewletId || getSavedViewletId(savedState);
|
|
1851
|
-
const availableViews = getPanelViews(workspaceUri);
|
|
1857
|
+
const availableViews = getPanelViews(workspaceUri, platform);
|
|
1852
1858
|
const hiddenViews = (savedState?.hiddenViews || activeHiddenViews || []).filter(view => availableViews.includes(view));
|
|
1853
1859
|
let views = availableViews.filter(view => !hiddenViews.includes(view));
|
|
1854
1860
|
if (views.length === 0 && availableViews.length > 0) {
|