tree 316b907c0c1255e2dba20cebaf94030260297456
parent 46a21c419e5561f71c735ec4b956e1329198df17
author Chad Norvell <chadnorvell@google.com> 1717615790 +0000
committer CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com> 1717615790 +0000

pw_ide: Preserve modified editor settings

If you directly edit files like `settings.json`, those edits will be
preserved during calls to `pw ide sync`.

Fixes: b/344681641
Change-Id: Iac8f07f48f71e37915210cb71e9b9483e5ecc7f8
Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/213670
Presubmit-Verified: CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Anthony DiGirolamo <tonymd@google.com>
Commit-Queue: Chad Norvell <chadnorvell@google.com>
Lint: Lint 🤖 <android-build-ayeaye@system.gserviceaccount.com>