Update name to Deep Blue

Author: moolbie

newIDE/app/src/UI/Theme/ProfessionalDarkTheme/index.js renamed to newIDE/app/src/UI/Theme/DeepBlueTheme/index.js

@@ -1,12 +1,12 @@
 import { createGdevelopTheme } from '../CreateTheme';
 
-import styles from './ProfessionalDarkThemeVariables.json';
-import './ProfessionalDarkThemeVariables.css';
+import styles from './DeepBlueThemeVariables.json';
+import './DeepBlueThemeVariables.css';
 
 export default createGdevelopTheme({
   styles,
 
-  rootClassNameIdentifier: 'ProfessionalDarkTheme',
+  rootClassNameIdentifier: 'DeepBlueTheme',
   paletteType: 'dark',
   gdevelopIconsCSSFilter: 'hue-rotate(-10deg) saturate(50%)',
 });

newIDE/app/src/UI/Theme/ProfessionalDarkTheme/theme.json renamed to newIDE/app/src/UI/Theme/DeepBlueTheme/theme.json

@@ -6,7 +6,7 @@ import NordTheme from './NordTheme';
 import SolarizedDarkTheme from './SolarizedDarkTheme';
 import OneDarkTheme from './OneDarkTheme';
 import RosePineTheme from './RosePineTheme';
-import ProfessionalDarkTheme from './ProfessionalDarkTheme';
+import DeepBlueTheme from './DeepBlueTheme';
 
 /*eslint no-useless-computed-key: "off"*/
 export const themes = {
@@ -17,5 +17,5 @@ export const themes = {
     ['Solarized Dark']: SolarizedDarkTheme,
     ['One Dark']: OneDarkTheme,
     ['Rosé Pine']: RosePineTheme,
-    ['Professional Dark']: ProfessionalDarkTheme,
+    ['Deep Blue']: DeepBlueTheme,
 };