I initially thought local preferences would always supersede global ones and it was natural for Nova to take care of this for me. It later occurred to me that another use case is for local preferences to combine with global preferences – and that is perhaps why Panic chose to leave implementation up to extension developers. Indeed, I’ve since added a preference where local values are appended to global values.
2 Likes