Merge pull request #9830 from overleaf/ae-exclude-hot-source-editor

Exclude source-editor from React Refresh webpack plugin

GitOrigin-RevId: 0b2701363cfe406744669c4337450c93e7527e40

services/web/webpack.config.dev.js

@@ -45,7 +45,12 @@ module.exports = merge(base, {
       filename: 'stylesheets/[name].css',
     }),
 
-    new ReactRefreshWebpackPlugin(),
+    new ReactRefreshWebpackPlugin({
+      exclude: [
+        /node_modules/, // default
+        /source-editor/, // avoid crashing the source editor
+      ],
+    }),
 
     // Disable React DevTools if DISABLE_REACT_DEVTOOLS is set to "true"
     process.env.DISABLE_REACT_DEVTOOLS === 'true' &&