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.