I’m duplicating global preference config options to workspace preferences, and have noticed a couple issues. I’m using
nova.config.observe() and notice:
- Changes to global extension preferences trigger my callback, but changes to workspace preferences do not.
- My callback is called 7 times whenever I change the global config.
My changes to workspace preferences are properly written to
.nova/Configuration.json, but are always obscured by the global preference because my callback isn’t called with the workspace setting.