Data handling for settings in editor left menu react migration (#10470)

- Importing SettingsController from the angular code, which enables post requests for every select menu and socket handler for compiler, texlive version, and main document select option
 - New context for the data handling infrastructure between react and angular. The data is still located in the angular version, and I use the context only as a proxy to fetch/post new data.

GitOrigin-RevId: 59009bceb128d82969a2318e90036aacf79f9887

services/web/types/project-settings.ts

@@ -0,0 +1,33 @@
+import { OverallTheme } from '../modules/source-editor/frontend/js/extensions/theme'
+
+export type AllowedImageName = {
+  imageDesc: string
+  imageName: string
+}
+
+export type MainDocument = {
+  doc: {
+    name: string
+    id: string
+    type: string
+    selected: boolean
+  }
+  path: string
+}
+
+export type ProjectCompiler = 'pdflatex' | 'latex' | 'xelatex' | 'lualatex'
+
+export type Keybindings = 'default' | 'vim' | 'emacs'
+
+export type OverallThemeMeta = {
+  name: string
+  path: string
+  val: OverallTheme
+}
+
+export type PdfViewer = 'pdfjs' | 'native'
+
+export type SpellCheckLanguage = {
+  name: string
+  code: string
+}