Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Setting storage upgrade #265

Open
ForNeVeR opened this issue Feb 22, 2023 · 0 comments
Open

Setting storage upgrade #265

ForNeVeR opened this issue Feb 22, 2023 · 0 comments
Assignees
@ForNeVeR
Labels
kind:enhancement New feature or request

Comments

@ForNeVeR
Copy link
Owner

ForNeVeR commented Feb 22, 2023 •
edited
Loading

Currently, we have two setting components:

  • me.fornever.avaloniarider.idea.settings.AvaloniaSettings, stored in .idea/**/misc.xml
  • me.fornever.avaloniarider.idea.settings.AvaloniaProjectSettings, stored in .idea/**/avalonia.xml

Among those, settings from AvaloniaSettings are meant to be shared across the team, while settings from avalonia.xml aren't, but that's inconvenient.

We should gradually move AvaloniaProjectSettings to workspace.xml or avalonia-workspace.xml since they are volatile, and AvaloniaSettings to avalonia.xml, to allow the users to commit and share them if required.
@ForNeVeR ForNeVeR added the kind:enhancement New feature or request label Feb 22, 2023
@ForNeVeR ForNeVeR self-assigned this Feb 22, 2023
@ForNeVeR ForNeVeR changed the title Migrate settings from misc.xml to a new storage Setting storage upgrade Feb 22, 2023
ForNeVeR added a commit that referenced this issue Feb 22, 2023
@ForNeVeR
(#265) Settings: some renames and TODO marking
a7a668f
ForNeVeR added a commit that referenced this issue Feb 22, 2023
@ForNeVeR
(#265) Settings: some renames and TODO marking
10cd30c
ForNeVeR added a commit that referenced this issue Feb 23, 2023
@ForNeVeR
(#264, #265) Settings: store a setting with working directory
41daf8f
ForNeVeR added a commit that referenced this issue Feb 23, 2023
@ForNeVeR
(#264, #265) Settings: store a setting with working directory
bc632a2
ForNeVeR added a commit that referenced this issue Jul 22, 2023
@ForNeVeR
(#265) Settings: some renames and TODO marking
c9c1dc8
ForNeVeR added a commit that referenced this issue Jul 22, 2023
@ForNeVeR
(#264, #265) Settings: store a setting with working directory
3b16ded
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ForNeVeR ForNeVeR

Labels
kind:enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ForNeVeR