annotate frontends/src/tools/__init__.py @ 1331:7fa07c7b0761 frontends_multi_profiles

quick_frontend (quick_app): addListener takes a profiles_filter argument to check the profile before calling a listener (profile must be passed right after the event type in callListeners)
author souliane <souliane@mailoo.org>
date Sun, 22 Feb 2015 20:39:33 +0100
parents 56aa0e98c92e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source