annotate sat/plugins/__init__.py @ 3167:d0fb79f97466

quick frontends (app): added an "ignore_missing" argument to RemoveListener: normally an error is logged when removeListener is call on a inexisting listener, but sometimes listeners are added only in specific scenarios, and it may be handy to try to delete them without having to explictly check that they have been used.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:44:05 +0100 (2020-02-12)
parents f7deb1c36b47
children 11003f9f92fb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1460
c7fd121a6180 core: getProfileName no raise ProfileUnknownError + minor doc fixes
Goffi <goffi@goffi.org>
parents: 1285
diff changeset
1 # XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
2778
f7deb1c36b47 core, XEP-0315: move XML element handling to sat_tmp:
Goffi <goffi@goffi.org>
parents: 2624
diff changeset
2 # TODO: remove this when changes are merged in Wokkel
f7deb1c36b47 core, XEP-0315: move XML element handling to sat_tmp:
Goffi <goffi@goffi.org>
parents: 2624
diff changeset
3 from sat_tmp.wokkel import install
f7deb1c36b47 core, XEP-0315: move XML element handling to sat_tmp:
Goffi <goffi@goffi.org>
parents: 2624
diff changeset
4 install()