Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Goffi 0c83d13b7c 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.		2016-08-21 12:07:31 +02:00
..
src	frontends (xmlui): added a user_action attribute:	2016-08-21 12:07:31 +02:00