frontends (xmlui): added a user_action attribute: this attribute indicate if the data is a result of a user interaction or an event from the backend (in the later case, the frontend can choose to avoid interrupting the user). Internally (in XMLUI), "FROM_BACKEND" is added to XMLUI.flags if the UI result from a backend event.

+
−# FIXME: remove this when RSM and MAM are in wokkel
+
−# XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
+
−import wokkel
+
−from sat.tmp.wokkel import pubsub as tmp_pubsub, rsm as tmp_rsm, mam as tmp_mam
+
−wokkel.pubsub = tmp_pubsub
+
−wokkel.rsm = tmp_rsm
+
−wokkel.mam = tmp_mam