-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[preferences] use text models to update content #7110
Conversation
debe513
to
1b80e5f
Compare
@vince-fugnitto Could you check please whether you can reproduce the file conflict dialog while switching themes? |
Sure, I'll verify if we still get the dialog when switching themes 👍 |
I was unable to reproduce the problem 👍 It looks good to me in that regard :) |
b5a5893
to
337f1a2
Compare
Still struggling to get fs events right, but the rest should be ready for the review. |
337f1a2
to
8daa99f
Compare
8daa99f
to
1cd13e6
Compare
1cd13e6
to
830838c
Compare
Oh, now jsonc files don't have coloring, because language is contributed by |
@vince-fugnitto Could someone try it? I need it to continue working on git and gitlens extensions support in #6921 |
How to test that? Everything else works as described for me 👍 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Going to test the changes now.
- json coloring
- ipynb loading
- preferences in general
- monaco workspace edits
packages/preferences/src/browser/abstract-resource-preference-provider.ts
Show resolved
Hide resolved
packages/preferences/src/browser/abstract-resource-preference-provider.ts
Show resolved
Hide resolved
@spoenemann that's a bit involving :) You need:
|
@akosyakov when saving changes in preference editor I see:
|
@AlexTugarev it is expected, it does not break save control flow, we just notify that there some save participants which don't provide edits, but mutate documents, the same on master |
@AlexTugarev It is another issue with the preference widget. I did not intend to fix it. I guess it is because workspace and use preference files are changed. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I checked that preferences are working fine, and save actions in editors are ok. It's good to see the color-theme-changes are reflected nicely 👍
Well done!
@spoenemann @AlexTugarev thanks for testing and thorough review, i will apply discussed changes and merge if the build is green |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I checked that my use case was fixed, also I tried to modify the user preferences - I don't see any errors
17792f8
to
2b039bf
Compare
@AlexTugarev the issue is a pre-existing problem with the |
73bebf2
to
a8da83d
Compare
It resolve following issues: - dirty editors are respected - edits are applied in thread safe fashion Signed-off-by: Anton Kosyakov <[email protected]>
Signed-off-by: Anton Kosyakov <[email protected]>
Before we will activate grammars for all languages which is bogus since grammar is not necessary registered yet. Now we will trigger grammar activation only if it was registered. Signed-off-by: Anton Kosyakov <[email protected]>
a8da83d
to
00535be
Compare
} catch { | ||
return undefined; | ||
let preferences; | ||
if (model.valid) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@AlexTugarev since we don't reset model to empty value when resource is gone, i have to add such guard here that preferences don't get created from invalid model
ok, it looks good now, merging, if we have some tests instabilities because of fs event reporting, i will look into it as my top priority |
so first build on master hit it 😬 looking into the fix |
What it does
How to test
Review checklist
Reminder for reviewers