client/modules/App/components/DevTools: update types and to named export

Author: clairep94

client/modules/App/App.jsx

@@ -3,7 +3,7 @@ import React, { useEffect, useRef, useState } from 'react';
 import { useDispatch, useSelector } from 'react-redux';
 import { useLocation } from 'react-router-dom';
 import { showReduxDevTools } from '../../store';
-import DevTools from './components/DevTools';
+import { DevTools } from './components/DevTools';
 import { setPreviousPath } from '../IDE/actions/ide';
 import { setLanguage } from '../IDE/actions/preferences';
 import { CookieConsent } from '../User/components/CookieConsent';

client/modules/App/components/DevTools.tsx

@@ -9,4 +9,4 @@ const devTools = (
   </DockMonitor>
 );
 
-export default createDevTools(devTools);
+export const DevTools = createDevTools(devTools);

client/store.ts

@@ -1,6 +1,6 @@
 import { configureStore } from '@reduxjs/toolkit';
 import listenerMiddleware from './middleware';
-import DevTools from './modules/App/components/DevTools';
+import { DevTools } from './modules/App/components/DevTools';
 import rootReducer from './reducers';
 import type { RootState } from './reducers';
 import { clearState, loadState } from './persistState';