@eht16 pushed 3 commits.
8763d59c7ab9612bf7af1479c6ed964fd7acbe3d Save main and project configuration whenever documents are opened/closed f1f7d9ebe5a153e508394fec9eb03a1bbe5739e1 Add setting, defaulting to TRUE, to disable automatic configuration save 3a9ae46e2ea88a0f1ad734913881b01e6051e672 Document new emission of "project-save" signal