M Fahru
|
777beaadc3
|
Don't send spellCheckLanguage request if the old value is the same as the new one
GitOrigin-RevId: 4ef34be7563ff707b6abd44dc8034293c88d2f72
|
2023-01-11 09:07:52 +00:00 |
|
M Fahru
|
ae5a08e680
|
Add 'setting-changed' tracking when user changes user-wide settings
GitOrigin-RevId: 04ed66dcdff7fa04e783fe4028505d981a39b37b
|
2023-01-11 09:07:45 +00:00 |
|
M Fahru
|
85cbc5b721
|
Apply prettier
GitOrigin-RevId: 34c7e3b95d061c270c77337c7c82502af289b556
|
2023-01-11 09:07:38 +00:00 |
|
M Fahru
|
06b0833e33
|
Add a comment explaining why user settings may be undefined
GitOrigin-RevId: 4460d4184cde5639d326da07121b2728d444c782
|
2023-01-11 09:07:30 +00:00 |
|
M Fahru
|
5597736057
|
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 |
|
M Fahru
|
56395d9a95
|
Save spellCheckLanguage to both project-wide and user-wide setting
GitOrigin-RevId: 059cc64d0fe2e955814a7192f82d4ff8ea4e2572
|
2023-01-11 09:07:16 +00:00 |
|
M Fahru
|
4bf09e21de
|
Fix tsc lint error by restricting the generic type
GitOrigin-RevId: 11ef7ab4111c7b312b283283829e9b28a80c475c
|
2023-01-11 09:07:09 +00:00 |
|
M Fahru
|
98fbd330b2
|
Add socket listener for compiler, imageName, and spellCheckLanguage
GitOrigin-RevId: b12644152387e479e433a014e1a1041ebae36f12
|
2023-01-11 09:07:02 +00:00 |
|
M Fahru
|
132bb40a21
|
replace save project setting hooks with common function and implement set root doc id change
GitOrigin-RevId: e5b204cd93fc188288def529cb22018b3d4f89b6
|
2023-01-11 09:06:40 +00:00 |
|
M Fahru
|
8ae9839f79
|
apply prettier
GitOrigin-RevId: dd750756d2bfc625817760510e9bdbade186aef3
|
2023-01-11 09:06:33 +00:00 |
|
M Fahru
|
c2b0707c2a
|
Change variable declaration location + apply prettier
GitOrigin-RevId: 3237a417c23d5c66c47385e55f8d3cb68bdfc3ca
|
2023-01-11 09:06:26 +00:00 |
|
M Fahru
|
414540af5c
|
Reduce save/setScope user setting duplication by introducing a new shared hooks
GitOrigin-RevId: 6054143eb042e4ff336b1f325a8cef693ae8c4bd
|
2023-01-11 09:06:19 +00:00 |
|
M Fahru
|
09b1974a3d
|
Migrate updating overallTheme to react
GitOrigin-RevId: 024ceb3c32c8d90ac0067fbb72d6e7d327b869f0
|
2023-01-11 09:06:12 +00:00 |
|
M Fahru
|
6c41a65200
|
migrate user-wide settings post request from angular controller to react
GitOrigin-RevId: b5440178a11b82c5a5840eb310416f1519f85bae
|
2023-01-11 09:05:57 +00:00 |
|
M Fahru
|
f01a2920cf
|
Migrate editor settings controller to react (this commit includes project-wide settings)
GitOrigin-RevId: 8c47a2699a2f11fda7fd60c5173bf2e29858e37a
|
2023-01-11 09:05:50 +00:00 |
|