diff --git a/vite.config.js b/vite.config.js index e9fad47a60dde09c0bb7e603cf4c2de5891a4be9..d1406b55dce7c89c84e7a06038a195a0b6acc480 100644 --- a/vite.config.js +++ b/vite.config.js @@ -104,6 +104,11 @@ export default defineConfig({ 'process.env.NODE_ENV': JSON.stringify(process.env.NODE_ENV), 'process.env.SOURCEGRAPH_PUBLIC_PATH': JSON.stringify(SOURCEGRAPH_PUBLIC_PATH), 'process.env.GITLAB_WEB_IDE_PUBLIC_PATH': JSON.stringify(GITLAB_WEB_IDE_PUBLIC_PATH), + 'window.VUE_DEVTOOLS_CONFIG.openInEditorHost': JSON.stringify( + viteGDKConfig.hmr + ? `${process.env.VITE_HMR_HTTP_URL}/vite-dev/` + : `http://${viteGDKConfig.host}:${viteGDKConfig.port}/vite-dev/`, + ), }, server: { warmup: {