I don't really like the name project_set_persist_open_files as it doesn't reflect the name of the setting in the preferences GUI.

It was just a suggestion, ideally the setting would have a better name, and then yeah, just match it.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.