@eht16 pushed 3 commits.

• 8763d59 Save main and project configuration whenever documents are opened/closed
• f1f7d9e Add setting, defaulting to TRUE, to disable automatic configuration save
• 3a9ae46 Document new emission of "project-save" signal

—
You are receiving this because you are subscribed to this thread.
View it on GitHub or mute the thread.