How to detect global properties changes from plugin?

Would you to introduce a GlobalPropertiesChangeListener interface?

That’‘s a good idea. Normally, you’‘d provide a custom UI for people to set properties of your plugin directly, but it’‘s always possible for somebody to go the global propeties page to edit values directly. I’'ve filed this as JM-172.

Thanks,

Matt