Looks a good idea.

Whilst @codebrainz has a point, that minor inconvenience seems acceptable given that even if the user could edit a "normal" preference it will have no effect until the project is closed anyway.

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