Godot: Godot overwrites the Project Manager list on close

[dark-penguin]

Godot version:
3.2.2.rc.custom_build.2e8480d56

OS/device including version:
Debian Buster amd64, Radeon RX550

Issue description:
Apparently, closing Godot forces it to overwrite the Project Manager list with whatever it was when the project was opened.

Steps to reproduce:

• Open a project in Godot
• Open another Godot window, "star" or "unstar" some project, close it
• Open Godot again - the project list is how you left it
• Close the first window
• Open another Godot window - the list is back to what it was before opening the first project

This happens with "starring", "unstarring", creating or deleting projects - the list will be overwritten with an old list when you close Godot.

I would understand this if it happened when closing the Project Manager, but it does not make sense when closing Godot. I often have multiple projects opened, and to modify the list, I have to close them all first.

[KoBeWi]

This is because the list is stored in Editor Settings, which get saved when closing editor.

[Calinou]

We should probably move the list of projects to a dedicated file. This way, editor settings can be synchronized across machines without synchronizing the list of projects at the same time (which is useful for people hosting their dotfiles in public repositories).

[dark-penguin]

Ummm, might I also suggest reloading editor settings along with project files upon focusing the editor window?.. This way, with multiple projects open, any change in settings would be instantly applied in all windows, rather than overwritten or maybe not depending on which window you close last. This would mean "full support" for multi-windowing. :)

[dark-penguin]

...This would imply saving changes immediately rather than upon closing the editor, "Windows 10 style" (or "GSettings-style", if you are on this side). And being able to "load settings" into the editor - but I don't suppose it could be a big problem since it's probably not much different than simply changing settings in the editor.