Hi Vadim,
Could you just use gsettings (i.e. the same thing that
you use with `prefs.js` to store extension settings) for
this?
In the `prefs.js` your widget does a:
let settings = Convenience.getSettings();
settings.set_int('my-setting-name', 1);
and in the extension you connect to the change:
// in your init() say
let settings = Convenience.getSettings();
// in your enable() say
settings.connect('changed::my-setting-name',
callback)
So `callback` is called whenever a user changes
the setting in the prefs widget.