f9eab58bc8
Remove scope suffix from variable name in react-related files since it's an angular-specific concept
...
GitOrigin-RevId: b8eea8c8113a977f6cbe07649e1338eea8281841
2023-01-11 09:09:18 +00:00
b06087d700
standardize the naming for rootDocId.
...
- Remove the `scope` variable suffix
- change `rootDoc_id` to `rootDocId`
GitOrigin-RevId: d8e646ef5f99ba0dbce84ff63c588e63b956a4ec
2023-01-11 09:09:04 +00:00
14068b977f
Fix wrong hook name
...
GitOrigin-RevId: 58f98b508cf650a6ecab38772faf9ecd38c9a7bc
2023-01-11 09:08:28 +00:00
304d73a0c0
Refactor type by reusing type declaration and avoid multiple source of the same type
...
GitOrigin-RevId: 492a9a524e566cf70b53158b4e5cc6ad57cb6093
2023-01-11 09:08:21 +00:00
c7f65fb7d7
Remove disabling update while listening on socket (ignoreUpdates state) since the logic is more complicated that was originally thought and it will be tested/revisited on a different PR
...
GitOrigin-RevId: 70cee2f0fc565aaebfb3ead2dd1a58fc5371c816
2023-01-11 09:08:13 +00:00
afb179b286
Disable updating project-wide settings while socket is currently listening to update project-wide settings in a project.
...
This may happen if the project is being used by multiple people, and we want to avoid race condition on the update since it's possible for multiple people to update setting value at the same time.
GitOrigin-RevId: cdad6a6456e2d9e4ef1812ebfd6f6ef59f23747f
2023-01-11 09:08:06 +00:00
9f7ca368dd
Fix numerous test fails because of unitialized user settings scope on the test environment
...
GitOrigin-RevId: a27454285b0c89c6abef560f05c52d35f81fa570
2023-01-11 09:07:23 +00:00
bdb6007c0c
Add socket listener for compiler, imageName, and spellCheckLanguage
...
GitOrigin-RevId: b12644152387e479e433a014e1a1041ebae36f12
2023-01-11 09:07:02 +00:00
f183848bbb
Reduce save/setScope user setting duplication by introducing a new shared hooks
...
GitOrigin-RevId: 6054143eb042e4ff336b1f325a8cef693ae8c4bd
2023-01-11 09:06:19 +00:00
132c5e956d
migrate user-wide settings post request from angular controller to react
...
GitOrigin-RevId: b5440178a11b82c5a5840eb310416f1519f85bae
2023-01-11 09:05:57 +00:00
c6e25d85f7
Migrate editor settings controller to react (this commit includes project-wide settings)
...
GitOrigin-RevId: 8c47a2699a2f11fda7fd60c5173bf2e29858e37a
2023-01-11 09:05:50 +00:00
29db5f3473
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
2022-11-30 09:04:32 +00:00
M Fahru